etc/settings
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.