doc-src/System/Thy/document/Presentation.tex
2010-01-04 ago discontinued special HOL_USEDIR_OPTIONS;
2009-07-20 ago removed obsolete CVS Ids;
2009-07-20 ago replaced usedir option -Q by more fine-grained -q;
2009-07-19 ago parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
2009-06-17 ago usedir: internal timing option;
2009-05-31 ago removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
2009-02-26 ago updated generated files;
2009-01-10 ago added parallel_proofs flag (default true, cf. usedir option -Q), which can be disabled in low-memory situations;
2008-11-30 ago default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
2008-11-18 ago moved table of standard Isabelle symbols to isar-ref manual;
2008-10-04 ago updated generated file;
2008-09-16 ago misc tuning and modernization;
2008-09-15 ago tuned;
2008-09-15 ago generated files;