documentationtexmacs

Miguel de Benito a243a4be18 Added documentation for preferences api.		2012-09-11 15:22:56 +00:00
about	Upgrade to version 1.0.7.16	2012-07-06 15:58:44 +00:00
devel	Added documentation for preferences api.	2012-09-11 15:22:56 +00:00
main	Typos	2012-08-17 14:47:11 +00:00
fdl.txt	This commit was generated by cvs2svn to compensate for changes in r2,	2003-10-24 10:51:35 +00:00