doc-src/System/system.tex
2011-05-01 wenzelm 2011-05-01 eliminated copies of isabelle style files;
2009-07-20 wenzelm 2009-07-20 removed obsolete CVS Ids;
2009-02-26 wenzelm 2009-02-26 \bibliographystyle{abbrv} for newer ref manuals;
2008-11-30 wenzelm 2008-11-30 removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting; separate chapter on interfaces as Isabelle tools;
2008-11-18 wenzelm 2008-11-18 moved table of standard Isabelle symbols to isar-ref manual;
2008-09-15 wenzelm 2008-09-15 converted symbols.tex;
2008-09-15 wenzelm 2008-09-15 converted misc.tex;
2008-09-15 wenzelm 2008-09-15 converted present.tex;
2008-09-15 wenzelm 2008-09-15 load underscore package after iman etc.;
2008-09-15 wenzelm 2008-09-15 basic setup for generated document sources (cf. IsarRef/isar-ref.tex);
2008-07-17 wenzelm 2008-07-17 use ../isabelle.sty and ../isabellesym.sty;
2003-05-03 kleing 2003-05-03 fix for new \isasymeuro
2001-12-11 wenzelm 2001-12-11 tuned;
2001-12-11 wenzelm 2001-12-11 updated;
2001-12-04 wenzelm 2001-12-04 \usepackage{textcomp}, \usepackage{marvosym};
2001-01-24 wenzelm 2001-01-24 more symbols;
2000-12-15 wenzelm 2000-12-15 restore \int (integral);
2000-12-04 wenzelm 2000-12-04 include table of Isabelle standard symbols;
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-05-08 wenzelm 2000-05-08 improved indexing;
1999-10-18 wenzelm 1999-10-18 tuned;
1999-10-13 wenzelm 1999-10-13 updated;
1999-10-12 wenzelm 1999-10-12 a4paper;
1999-08-18 wenzelm 1999-08-18 tuned;
1999-08-16 wenzelm 1999-08-16 bib;
1999-05-10 wenzelm 1999-05-10 pdf setup;
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;
1998-01-12 wenzelm 1998-01-12 fixed author;
1998-01-08 wenzelm 1998-01-08 updated to Isabelle98;
1997-09-30 berghofe 1997-09-30 Removed "browse.tex".
1997-09-22 wenzelm 1997-09-22 acks;
1997-05-22 wenzelm 1997-05-22 fixed packages;
1997-05-21 wenzelm 1997-05-21 release version (sort of);
1997-05-20 wenzelm 1997-05-20 under construction;
1997-05-16 wenzelm 1997-05-16 still under construction!
1997-05-14 wenzelm 1997-05-14 preliminary!
1997-05-12 wenzelm 1997-05-12 *** empty log message ***
1997-05-12 wenzelm 1997-05-12 The Isabelle System Manual;