doc-src/System/basics.tex
2007-12-14 wenzelm 2007-12-14 added ISABELLE_LINE_EDITOR setting;
2007-12-04 wenzelm 2007-12-04 isabelle process: replaced option -p by -W (process wrapper);
2007-11-29 wenzelm 2007-11-29 isabelle-process: option -p echos ISABELLE_PID;
2007-11-15 wenzelm 2007-11-15 cover ISABELLE_IDENTIFIER;
2007-07-20 wenzelm 2007-07-20 added ISABELLE_FILE_IDENT;
2006-11-22 wenzelm 2006-11-22 ML_IDENTIFIER includes Isabelle version;
2006-10-09 wenzelm 2006-10-09 isabelle-process: options -S, -X;
2005-05-17 wenzelm 2005-05-17 no longer support isa-FOO interface; removed Isamode; tuned;
2005-04-09 wenzelm 2005-04-09 added PDF_VIEWER, ISABELLE_DOC_FORMAT;
2004-06-13 wenzelm 2004-06-13 added PRINT_COMMAND setting
2002-03-08 wenzelm 2002-03-08 tuned;
2001-12-11 wenzelm 2001-12-11 updated;
2001-09-27 wenzelm 2001-09-27 updated;
2001-01-16 wenzelm 2001-01-16 isabelle -f;
2000-09-28 wenzelm 2000-09-28 isabelle -C;
2000-09-15 wenzelm 2000-09-15 isabelle: -P option;
2000-09-01 wenzelm 2000-09-01 ISABELLE_PATH: ML_IDENTIFIER no longer added; tuned;
2000-03-08 wenzelm 2000-03-08 isabelle -c: tell ML system to compress output image;
1999-10-19 wenzelm 1999-10-19 tuned;
1999-10-18 wenzelm 1999-10-18 tuned;
1999-10-14 wenzelm 1999-10-14 tuned;
1999-10-13 wenzelm 1999-10-13 updated;
1999-08-18 wenzelm 1999-08-18 replaced 'ProofGeneral' by 'Proof General';
1999-08-16 wenzelm 1999-08-16 user infaces: tuned, added ProofGeneral;
1999-04-13 wenzelm 1999-04-13 tuned;
1999-04-12 wenzelm 1999-04-12 ML_PLATFORM;
1998-11-09 wenzelm 1998-11-09 isabelle -I;
1998-08-24 wenzelm 1998-08-24 emacs local vars;
1998-01-12 wenzelm 1998-01-12 tuned;
1998-01-09 wenzelm 1998-01-09 tuned ISABELLE_TMP_PREFIX;
1998-01-08 wenzelm 1998-01-08 updated to Isabelle98;
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!