etc/settings
1997-05-20 wenzelm 1997-05-20 removed Cambridge font server;
1997-05-14 wenzelm 1997-05-14 renamed DEFAULT_LOGIC to ISABELLE_LOGIC;
1997-05-14 wenzelm 1997-05-14 ML_SYSTEM is polyml-3.1 again;
1997-05-14 wenzelm 1997-05-14 tuned comments; NJ 1.09.27 now default;
1997-05-12 wenzelm 1997-05-12 improved comments;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 wenzelm 1997-04-25 improved DVI_VIEWER default;
1997-04-22 wenzelm 1997-04-22 improved fontserver example;
1997-04-17 wenzelm 1997-04-17 fixed ISAMODE_HOME;
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-04 wenzelm 1997-04-04 replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
1997-03-11 wenzelm 1997-03-11 tuned comments;
1997-03-11 wenzelm 1997-03-11 added THIS_IS_ISABELLE_BUILD discrimination;
1997-03-07 wenzelm 1997-03-07 pass xterm mode by default;
1997-02-27 wenzelm 1997-02-27 tuned comments;
1997-02-07 wenzelm 1997-02-07 tuned; removed ISABELLE_SYMBOLS;
1997-02-04 wenzelm 1997-02-04 added ISABELLE_INSTALLFONTS;
1997-01-07 wenzelm 1997-01-07 added dvi viewer alternative;
1996-12-20 wenzelm 1996-12-20 changed xterm geometry;
1996-12-18 wenzelm 1996-12-18 added ISABELLE_HTML; fixed Poly/ML 2.x;
1996-12-17 wenzelm 1996-12-17 major cleanup; added comments;
1996-12-16 wenzelm 1996-12-16 added smlnj-0.93;
1996-12-09 wenzelm 1996-12-09 added DVI_VIEWER for 600dpi fonts;
1996-12-09 wenzelm 1996-12-09 added ISABELLE_DOCS;
1996-12-04 wenzelm 1996-12-04 added ISAMODE_HOME;
1996-12-02 wenzelm 1996-12-02 settings: Isabelle settings -- site defaults.