doc-src/Intro/intro.tex
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;
Mon, 11 Oct 1999 11:04:56 +0200 wenzelm a4paper;
Thu, 06 May 1999 19:04:20 +0200 wenzelm pdf setup;
Wed, 05 May 1999 16:44:42 +0200 paulson Now uses manual.bib; some references updated
Tue, 21 Jul 1998 16:41:12 +0200 wenzelm fixed isabelle logo;
Tue, 21 Jul 1998 08:54:09 +0200 wenzelm fixed isabelle logo;
Mon, 20 Jul 1998 19:06:39 +0200 wenzelm added pdfsetup and isabelle logo;
Thu, 20 Nov 1997 10:50:51 +0100 paulson No more makeatletter/other
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