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