doc-src/Intro/intro.tex
Mon, 02 May 2011 22:31:46 +0200 wenzelm eliminated old CVS Ids;
Thu, 26 Feb 2009 20:09:14 +0100 wenzelm more explicit indication of old manuals;
Wed, 13 Aug 2003 17:44:01 +0200 paulson corrections by Viktor Kuncak and minor updating
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Fri, 26 May 2000 11:18:06 +0200 paulson updated acknowledgements
Mon, 08 May 2000 11:13:28 +0200 wenzelm improved indexing;
less more (0) -10 -6 tip