documentationtexmacs

Joris van der Hoeven 8fa1f6d542 Various updates		2017-07-06 16:39:39 +00:00
about	Fix typo	2016-10-27 11:09:22 +00:00
devel	Display database warnings in console	2017-07-01 13:08:44 +00:00
main	Various updates	2017-07-06 16:39:39 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00