documentationtexmacs

Miguel de Benito 020d912b5d Added append-preference as a convenience function		2012-09-19 12:45:41 +00:00
about	Upgrade to version 1.0.7.16	2012-07-06 15:58:44 +00:00
devel	Added append-preference as a convenience function	2012-09-19 12:45:41 +00:00
main	Typos	2012-08-17 14:47:11 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00