etc/settings
Mon, 09 Dec 1996 16:39:11 +0100 wenzelm added ISABELLE_DOCS;
Wed, 04 Dec 1996 13:08:40 +0100 wenzelm added ISAMODE_HOME;
Mon, 02 Dec 1996 18:15:26 +0100 wenzelm settings: Isabelle settings -- site defaults.
less more (0) tip