| Thu, 17 Apr 1997 10:40:26 +0200 | wenzelm | fixed ISAMODE_HOME; | file | diff | annotate |
| Thu, 17 Apr 1997 10:30:57 +0200 | wenzelm | eliminated PLATFORM; | file | diff | annotate |
| Fri, 04 Apr 1997 19:09:21 +0200 | wenzelm | replaced ISABELLE_HTML by ISABELLE_USEDIR_OPTIONS; | file | diff | annotate |
| Tue, 11 Mar 1997 16:24:44 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Tue, 11 Mar 1997 13:05:11 +0100 | wenzelm | added THIS_IS_ISABELLE_BUILD discrimination; | file | diff | annotate |
| Fri, 07 Mar 1997 09:42:26 +0100 | wenzelm | pass xterm mode by default; | file | diff | annotate |
| Thu, 27 Feb 1997 12:10:28 +0100 | wenzelm | tuned comments; | file | diff | annotate |
| Fri, 07 Feb 1997 17:14:33 +0100 | wenzelm | tuned; | file | diff | annotate |
| Tue, 04 Feb 1997 08:58:47 +0100 | wenzelm | added ISABELLE_INSTALLFONTS; | file | diff | annotate |
| Tue, 07 Jan 1997 09:04:53 +0100 | wenzelm | added dvi viewer alternative; | file | diff | annotate |
| Fri, 20 Dec 1996 16:10:30 +0100 | wenzelm | changed xterm geometry; | file | diff | annotate |
| Wed, 18 Dec 1996 12:46:34 +0100 | wenzelm | added ISABELLE_HTML; | file | diff | annotate |
| Tue, 17 Dec 1996 12:50:41 +0100 | wenzelm | major cleanup; | file | diff | annotate |
| Mon, 16 Dec 1996 10:28:50 +0100 | wenzelm | added smlnj-0.93; | file | diff | annotate |
| Mon, 09 Dec 1996 16:51:14 +0100 | wenzelm | added DVI_VIEWER for 600dpi fonts; | file | diff | annotate |
| Mon, 09 Dec 1996 16:39:11 +0100 | wenzelm | added ISABELLE_DOCS; | file | diff | annotate |
| Wed, 04 Dec 1996 13:08:40 +0100 | wenzelm | added ISAMODE_HOME; | file | diff | annotate |
| Mon, 02 Dec 1996 18:15:26 +0100 | wenzelm | settings: Isabelle settings -- site defaults. | file | diff | annotate |