documentationtexmacs

Joris van der Hoeven f16f154bd5 Updates in documentation and more efficient docgrep		2013-10-11 09:56:39 +00:00
about	Use 'explain' tag instead of 'item*' whenever appropriate	2013-10-10 12:56:20 +00:00
devel	A few words of documentation on widget styles	2013-08-18 15:16:01 +00:00
main	Updates in documentation and more efficient docgrep	2013-10-11 09:56:39 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00