Joris van der Hoeven 41a1896be6 Add 'division' widget constructor to facilitate widget styling		2021-11-19 15:12:54 +00:00
..
format	http -> https	2020-11-04 17:54:30 +00:00
interface	Fix typos	2019-01-16 16:04:56 +00:00
plugin	Update (mail Jeroen Wouters on texmacs-dev, May 22, 2021)	2021-05-23 14:24:14 +00:00
scheme	Add 'division' widget constructor to facilitate widget styling	2021-11-19 15:12:54 +00:00
source	Doc: convert verbatim to scm-code/cpp-code for fonts.en.tm	2021-01-17 13:22:21 +00:00
style	Minor fixes	2019-07-16 15:53:53 +00:00