| Mon, 08 Feb 1999 17:33:03 +0100 | wenzelm | use: provide context; | changeset | files |
| Mon, 08 Feb 1999 17:32:24 +0100 | wenzelm | tuned msgs; | changeset | files |
| Mon, 08 Feb 1999 17:32:06 +0100 | wenzelm | tuned msg; | changeset | files |
| Mon, 08 Feb 1999 17:31:50 +0100 | wenzelm | added fetch, fetch_theory; | changeset | files |
| 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 |
| Fri, 05 Feb 1999 21:26:20 +0100 | wenzelm | made MLWorks happy; | changeset | files |
| Fri, 05 Feb 1999 21:14:17 +0100 | wenzelm | examples made separate dirs; | changeset | files |
| Fri, 05 Feb 1999 21:12:45 +0100 | wenzelm | add_path; | changeset | files |
| Fri, 05 Feb 1999 21:12:18 +0100 | wenzelm | Hyperreal made part of Real; | changeset | files |