doc-src/System/basics.tex
2005-05-17 wenzelm no longer support isa-FOO interface;
2005-04-09 wenzelm added PDF_VIEWER, ISABELLE_DOC_FORMAT;
2004-06-13 wenzelm added PRINT_COMMAND setting
2002-03-08 wenzelm tuned;
2001-12-11 wenzelm updated;
2001-09-27 wenzelm updated;
2001-01-15 wenzelm isabelle -f;
2000-09-28 wenzelm isabelle -C;
2000-09-15 wenzelm isabelle: -P option;
2000-09-01 wenzelm ISABELLE_PATH: ML_IDENTIFIER no longer added;
2000-03-08 wenzelm isabelle -c: tell ML system to compress output image;
1999-10-19 wenzelm tuned;
1999-10-18 wenzelm tuned;
1999-10-14 wenzelm tuned;
1999-10-13 wenzelm updated;
1999-08-18 wenzelm replaced 'ProofGeneral' by 'Proof General';
1999-08-16 wenzelm user infaces: tuned, added ProofGeneral;
1999-04-13 wenzelm tuned;
1999-04-12 wenzelm ML_PLATFORM;
1998-11-09 wenzelm isabelle -I;
1998-08-24 wenzelm emacs local vars;
1998-01-12 wenzelm tuned;
1998-01-09 wenzelm tuned ISABELLE_TMP_PREFIX;
1998-01-08 wenzelm updated to Isabelle98;
1997-05-21 wenzelm release version (sort of);
1997-05-20 wenzelm under construction;
1997-05-16 wenzelm still under construction!
1997-05-14 wenzelm preliminary!
less more (0) tip