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