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 |
Mon, 09 Dec 1996 16:41:04 +0100 | wenzelm | *** empty log message *** | changeset | files |