| Mon, 09 Dec 1996 16:51:14 +0100 | wenzelm | added DVI_VIEWER for 600dpi fonts; | changeset | files |
| Mon, 09 Dec 1996 16:48:30 +0100 | wenzelm | Contents - list of available documentation; | changeset | files |
| Mon, 09 Dec 1996 16:47:11 +0100 | wenzelm | patch-scripts.bash - relocate interpreter paths of Isabelle scripts. | changeset | files |