src/Doc/Corec/document/root.tex
Fri, 17 Apr 2020 22:13:50 +0200 wenzelm discontinued somewhat incoherent patches (see also 3b36fc4916af);
Fri, 17 Apr 2020 21:48:50 +0200 wenzelm use friendlier package;
Wed, 26 Dec 2018 15:28:23 +0100 wenzelm unused -- document lacks {* ... *};
Sat, 02 Apr 2016 17:11:27 +0200 blanchet tuned LaTeX
Sat, 02 Apr 2016 17:02:37 +0200 blanchet import package that might help on some machines (e.g., macbroy2)
Wed, 30 Mar 2016 15:16:50 +0200 blanchet more 'corec' docs
Tue, 29 Mar 2016 21:25:19 +0200 blanchet more 'corec' docs
Tue, 29 Mar 2016 17:42:43 +0200 blanchet more 'corec' documentation
Tue, 29 Mar 2016 09:45:54 +0200 blanchet added sketchy 'corec' documentation
less more (0) tip