doc-src/System/present.tex
2008-05-15 wenzelm 2008-05-15 removed obsolete thumbpdf;
2008-01-02 wenzelm 2008-01-02 added usedir -M max (alias for -M 0);
2007-10-11 wenzelm 2007-10-11 usedir: added HOL_USEDIR_OPTIONS;
2007-08-07 wenzelm 2007-08-07 usedir: added options -M -T for multithreading;
2006-09-18 wenzelm 2006-09-18 isatool browser: renamed option -d to -c (cf. isatool tool)
2005-08-31 wenzelm 2005-08-31 isatool usedir: added option -C;
2005-08-18 wenzelm 2005-08-18 usedir: tuned option -V;
2005-08-16 wenzelm 2005-08-16 isatool usedir: option -V and -f; isatool document: option -n and -t;
2004-06-12 wenzelm 2004-06-12 added option 'isatool latex -o syms';
2002-03-08 wenzelm 2002-03-08 tuned;
2002-03-04 wenzelm 2002-03-04 isatool usedir -D generated Foo && isatool document Foo/generated;
2002-01-09 wenzelm 2002-01-09 no longer requires TEXINPUTS;
2001-12-21 wenzelm 2001-12-21 isatool browser -o;
2001-12-11 wenzelm 2001-12-11 updated;
2001-09-28 wenzelm 2001-09-28 tuned;
2001-09-27 wenzelm 2001-09-27 updated;
2000-12-04 wenzelm 2000-12-04 include table of Isabelle standard symbols;
2000-12-01 wenzelm 2000-12-01 usedir: -m option;
2000-08-28 wenzelm 2000-08-28 proper setup of iman.sty/extra.sty/ttbox.sty;
2000-07-04 wenzelm 2000-07-04 fixed usage;
2000-06-30 wenzelm 2000-06-30 presentation: self-contained session dirs;
2000-04-01 wenzelm 2000-04-01 isatool document: tuned -c option;
2000-03-24 wenzelm 2000-03-24 usedir -D: update styles as well;
2000-03-08 wenzelm 2000-03-08 added isatool mkdir; isatool document -c; isatool usedir -D -c;
1999-10-30 wenzelm 1999-10-30 isabellesym.sty;
1999-10-29 wenzelm 1999-10-29 comment out isabellesym.sty;
1999-10-29 wenzelm 1999-10-29 \isasym;
1999-10-19 wenzelm 1999-10-19 tuned;
1999-10-18 wenzelm 1999-10-18 tuned;
1999-10-14 berghofe 1999-10-14 Corrected typo.
1999-10-14 wenzelm 1999-10-14 support thumbpdf;
1999-10-14 wenzelm 1999-10-14 tuned;
1999-10-13 wenzelm 1999-10-13 updated;
1999-08-18 wenzelm 1999-08-18 tuned;
1999-08-18 berghofe 1999-08-18 Modified section about generation of theory browsing information. Documented new -P option.
1999-05-10 wenzelm 1999-05-10 pdf setup;
1999-01-20 wenzelm 1999-01-20 isabelle.in.tum.de;
1998-08-24 wenzelm 1998-08-24 emacs local vars;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-08 wenzelm 1998-01-08 updated to Isabelle98;
1997-09-30 berghofe 1997-09-30 Added section describing the theory browser.
1997-05-16 wenzelm 1997-05-16 still under construction!
1997-05-14 wenzelm 1997-05-14 preliminary!