src/Doc/Ref/document/root.tex
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);
Mon, 12 Nov 2012 21:17:58 +0100 wenzelm removed somewhat pointless historic material;
Sun, 11 Nov 2012 16:19:55 +0100 wenzelm updated section on ordered rewriting;
less more (0) -3 tip