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