documentationtexmacs

Joris van der Hoeven 50d3ea544c Further fine-tuning for Html export		2020-10-19 11:37:02 +00:00
about	The Jolly Writer	2020-10-09 22:58:32 +00:00
devel	Further fine-tuning for Html export	2020-10-19 11:37:02 +00:00
main	Doc(en/zh): update main/text	2020-10-11 13:36:07 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00