6 Commits

Author	SHA1	Message	Date
Joris van der Hoeven	f16f154bd5	Updates in documentation and more efficient docgrep	2013-10-11 09:56:39 +00:00
Joris van der Hoeven	94501799d2	Extra markup for overlays	2013-10-10 20:23:40 +00:00
Joris van der Hoeven	5bc40258e6	Documentation for overlays	2013-09-27 20:34:41 +00:00
Denis Raux	910f422fc1	various french add	2011-12-09 11:32:24 +00:00
Joris van der Hoeven	03afda39c4	Further documentation of the Insert -> Fold -> Executable menu	2011-08-30 10:53:55 +00:00
Joris van der Hoeven	37b5b1132d	Rename	2011-08-28 07:59:50 +00:00