etc/user-settings.sample
2010-01-04 wenzelm 2010-01-04 discontinued special HOL_USEDIR_OPTIONS;
2009-05-31 wenzelm 2009-05-31 uniform treatment of shellscript mode;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-11-30 wenzelm 2008-11-30 default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
2005-06-02 wenzelm 2005-06-02 renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
2004-03-09 kleing 2004-03-09 suggest -p 1 proof object level for HOL
2001-02-05 wenzelm 2001-02-05 tuned;
2000-09-03 wenzelm 2000-09-03 GPLed;
2000-07-01 wenzelm 2000-07-01 tuned;
1999-10-13 wenzelm 1999-10-13 -d pdf;
1997-09-30 wenzelm 1997-09-30 ISABELLE_USEDIR_OPTIONS="-i true"
1997-05-22 wenzelm 1997-05-22 tuned;
1997-05-14 wenzelm 1997-05-14 renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
1997-05-14 wenzelm 1997-05-14 tuned comment;
1997-05-14 wenzelm 1997-05-14 tuned;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-12 wenzelm 1997-04-12 tuned;
1997-03-11 wenzelm 1997-03-11 tuned;
1997-02-07 wenzelm 1997-02-07 tuned; removed ISABELLE_INTERFACE_OPTIONS;
1996-12-20 wenzelm 1996-12-20 changed xterm geometry;
1996-12-18 wenzelm 1996-12-18 added ISABELLE_HTML;
1996-12-17 wenzelm 1996-12-17 Isabelle user settings sample;