documentationtexmacs

Joris van der Hoeven 270e53b8ed Fix concerning simplification of reference values		2020-11-14 00:22:27 +00:00
about	Upgrade to version 1.99.15	2020-11-12 13:19:59 +00:00
devel	Fix concerning simplification of reference values	2020-11-14 00:22:27 +00:00
main	Attaching a favicon to an exported webpage	2020-11-12 23:16:12 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00