doc-src/Intro/intro.tex
Thu, 22 May 1997 10:34:23 +0200 wenzelm fixed packages;
Wed, 07 May 1997 16:26:28 +0200 paulson New acknowledgements; no Fast_tac
Fri, 02 May 1997 16:18:49 +0200 berghofe Updated to LaTeX 2e
Thu, 17 Apr 1997 18:16:12 +0200 paulson Removed the \date{} command in order to put the date of typesetting on the
Thu, 20 Feb 1997 14:59:02 +0100 wenzelm made a bit more robust;
Mon, 22 Jul 1996 16:16:51 +0200 paulson Updated BibTeX identifiers
Tue, 16 Jul 1996 15:47:07 +0200 paulson Acknowledged Stefan Berghofer for finding errors
Tue, 25 Jul 1995 16:52:08 +0200 lcp now uses proof209.sty
Tue, 24 Jan 1995 03:01:14 +0100 lcp \bibliography now includes crossref.bib
Tue, 03 May 1994 10:40:24 +0200 lcp post-CRC corrections
Fri, 15 Apr 1994 11:48:23 +0200 lcp penultimate Springer draft
Thu, 24 Mar 1994 13:25:12 +0100 lcp revisions to first Springer draft
Fri, 03 Dec 1993 17:45:19 +0100 lcp Changed Acknowledgements
Wed, 10 Nov 1993 05:06:55 +0100 lcp Initial revision
less more (0) tip