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