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