doc-src/System/system.tex
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;