| Thu, 06 Mar 1997 12:32:58 +0100 | wenzelm | Oops, forgot to remove -x again; | changeset | files |
| Thu, 06 Mar 1997 12:30:32 +0100 | wenzelm | added ISABELLE_HOME normalization; | changeset | files |
| Thu, 06 Mar 1997 12:28:17 +0100 | wenzelm | even more robust and user friendly invocation (no longer requieres | changeset | files |
| Wed, 05 Mar 1997 17:15:31 +0100 | wenzelm | improved DESCRIPTION; | changeset | files |