| Mon, 08 Feb 1999 17:30:22 +0100 | wenzelm | ~~; | changeset | files |
| Mon, 08 Feb 1999 17:29:08 +0100 | wenzelm | path element specification '~~' refers to '$ISABELLE_HOME'; | changeset | files |
| Mon, 08 Feb 1999 15:55:35 +0100 | wenzelm | no deps on compile time sources; | changeset | files |
| Mon, 08 Feb 1999 15:54:44 +0100 | wenzelm | isatool logo; | changeset | files |
| Mon, 08 Feb 1999 15:53:56 +0100 | wenzelm | -i option; | changeset | files |
| Mon, 08 Feb 1999 13:02:56 +0100 | wenzelm | updated (Stephan Merz); | changeset | files |
| Mon, 08 Feb 1999 13:02:42 +0100 | wenzelm | updated TLA; | changeset | files |