etc/user-settings.sample
Wed, 18 Dec 1996 12:46:59 +0100 wenzelm added ISABELLE_HTML;
Tue, 17 Dec 1996 12:51:02 +0100 wenzelm Isabelle user settings sample;
less more (0) tip