| 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 |