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