documentationtexmacs

Joris van der Hoeven 751b92e0d7 Novelties in upcoming version		2015-05-15 21:15:01 +00:00
about	Novelties in upcoming version	2015-05-15 21:15:01 +00:00
devel	Update database from disk in case of changes	2015-04-15 08:08:24 +00:00
main	Fix	2015-05-12 09:14:23 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00