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 |
Mon, 09 Dec 1996 16:42:24 +0100 | wenzelm | various fixes; | changeset | files |