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
less more (0) -10 -3 tip