documentationtexmacs

Joris van der Hoeven b8e22e7d31 Cutting and pasting of selections of several slides in page mode		2016-04-01 21:07:45 +00:00
about	Acknowledge improvements for graphics mode	2016-02-10 17:48:41 +00:00
devel	Cutting and pasting of selections of several slides in page mode	2016-04-01 21:07:45 +00:00
main	clarify actual modifiers depending on platform	2016-03-01 09:17:16 +00:00
fdl.txt	Fix #34181: incorrect-fsf-address (mass substitution)	2012-09-12 14:24:00 +00:00