doc-src/Intro/intro.tex
2009-02-26 wenzelm 2009-02-26 more explicit indication of old manuals;
2003-08-13 paulson 2003-08-13 corrections by Viktor Kuncak and minor updating
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-26 paulson 2000-05-26 updated acknowledgements
2000-05-08 wenzelm 2000-05-08 improved indexing;
1999-10-11 wenzelm 1999-10-11 a4paper;
1999-05-06 wenzelm 1999-05-06 pdf setup;
1999-05-05 paulson 1999-05-05 Now uses manual.bib; some references updated
1998-07-21 wenzelm 1998-07-21 fixed isabelle logo;
1998-07-21 wenzelm 1998-07-21 fixed isabelle logo;
1998-07-20 wenzelm 1998-07-20 added pdfsetup and isabelle logo;
1997-11-20 paulson 1997-11-20 No more makeatletter/other
1997-05-22 wenzelm 1997-05-22 fixed packages;
1997-05-07 paulson 1997-05-07 New acknowledgements; no Fast_tac
1997-05-02 berghofe 1997-05-02 Updated to LaTeX 2e
1997-04-17 paulson 1997-04-17 Removed the \date{} command in order to put the date of typesetting on the title page
1997-02-20 wenzelm 1997-02-20 made a bit more robust;
1996-07-22 paulson 1996-07-22 Updated BibTeX identifiers
1996-07-16 paulson 1996-07-16 Acknowledged Stefan Berghofer for finding errors
1995-07-25 lcp 1995-07-25 now uses proof209.sty
1995-01-24 lcp 1995-01-24 \bibliography now includes crossref.bib
1994-05-03 lcp 1994-05-03 post-CRC corrections
1994-04-15 lcp 1994-04-15 penultimate Springer draft
1994-03-24 lcp 1994-03-24 revisions to first Springer draft
1993-12-03 lcp 1993-12-03 Changed Acknowledgements
1993-11-10 lcp 1993-11-10 Initial revision