documentationtexmacs

Joris van der Hoeven 088eff8628 Use new search facility for contextual documentation		2013-10-10 14:22:33 +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	Use new search facility for contextual documentation	2013-10-10 14:22:33 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00