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