src/Doc/Functions/document/root.tex
Tue, 30 Jul 2013 16:22:39 +0200 blanchet tuned docs (the function package isn't so new anymore)
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip