src/Doc/Codegen/document/root.tex
Tue, 18 May 2021 15:17:55 +0200 wenzelm option document_logo;
Tue, 09 Mar 2021 18:44:43 +0100 wenzelm removed unused latex packages;
Fri, 29 Mar 2019 12:24:34 +0100 wenzelm clarified style: allow to search PDF for keywords containing "_";
Wed, 22 Feb 2017 20:24:50 +0100 haftmann basic documentation for computations
Thu, 03 Dec 2015 15:33:00 +0100 haftmann moved section according to supposed order of interest
Sat, 27 Jul 2013 21:21:47 +0200 wenzelm more direct inclusion of tikz pictures;
Fri, 07 Dec 2012 18:05:24 +0100 wenzelm eliminated old copy of proof.sty (1995), prefer the one usually included in current latex distributions (2005);
Tue, 28 Aug 2012 18:57:32 +0200 wenzelm renamed doc-src to src/Doc;
less more (0) tip