etc/settings
Thu, 17 Apr 1997 10:30:57 +0200 wenzelm eliminated PLATFORM;
Fri, 04 Apr 1997 19:09:21 +0200 wenzelm replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS;
Tue, 11 Mar 1997 16:24:44 +0100 wenzelm tuned comments;
Tue, 11 Mar 1997 13:05:11 +0100 wenzelm added THIS_IS_ISABELLE_BUILD discrimination;
Fri, 07 Mar 1997 09:42:26 +0100 wenzelm pass xterm mode by default;
Thu, 27 Feb 1997 12:10:28 +0100 wenzelm tuned comments;
Fri, 07 Feb 1997 17:14:33 +0100 wenzelm tuned;
Tue, 04 Feb 1997 08:58:47 +0100 wenzelm added ISABELLE_INSTALLFONTS;
Tue, 07 Jan 1997 09:04:53 +0100 wenzelm added dvi viewer alternative;
Fri, 20 Dec 1996 16:10:30 +0100 wenzelm changed xterm geometry;
Wed, 18 Dec 1996 12:46:34 +0100 wenzelm added ISABELLE_HTML;
Tue, 17 Dec 1996 12:50:41 +0100 wenzelm major cleanup;
Mon, 16 Dec 1996 10:28:50 +0100 wenzelm added smlnj-0.93;
Mon, 09 Dec 1996 16:51:14 +0100 wenzelm added DVI_VIEWER for 600dpi fonts;
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