etc/user-settings.sample
1997-04-17 wenzelm 1997-04-17 eliminated PLATFORM;
1997-04-12 wenzelm 1997-04-12 tuned;
1997-03-11 wenzelm 1997-03-11 tuned;
1997-02-07 wenzelm 1997-02-07 tuned; removed ISABELLE_INTERFACE_OPTIONS;
1996-12-20 wenzelm 1996-12-20 changed xterm geometry;
1996-12-18 wenzelm 1996-12-18 added ISABELLE_HTML;
1996-12-17 wenzelm 1996-12-17 Isabelle user settings sample;