etc/settings
1996-12-04 wenzelm 1996-12-04 added ISAMODE_HOME;
1996-12-02 wenzelm 1996-12-02 settings: Isabelle settings -- site defaults.