doc-src/TutorialI/tutorial.tex
Tue, 29 Aug 2000 11:52:47 +0200 wenzelm improved isabellepar env;
Mon, 28 Aug 2000 13:52:38 +0200 wenzelm proper setup of iman.sty/extra.sty/ttbox.sty;
Tue, 22 Aug 2000 11:24:44 +0200 paulson removed redundant commands
Fri, 18 Aug 2000 10:34:08 +0200 nipkow *** empty log message ***
Fri, 02 Jun 2000 15:19:18 +0200 nipkow *** empty log message ***
Tue, 09 May 2000 16:05:45 +0200 wenzelm use proper version of pdfsetup.sty;
less more (0) -6 tip