doc-src/Intro/intro.tex
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