| Thu, 27 Dec 2001 16:49:15 +0100 | wenzelm | obsolete; | changeset | files |
| Thu, 27 Dec 2001 16:46:52 +0100 | wenzelm | tuned tracing markup; | changeset | files |
| Thu, 27 Dec 2001 16:46:28 +0100 | wenzelm | tuned tracing_fn markup; | changeset | files |
| Thu, 27 Dec 2001 16:46:04 +0100 | wenzelm | solve rule: tracing instead of priority; | changeset | files |
| Thu, 27 Dec 2001 16:45:19 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 27 Dec 2001 16:44:43 +0100 | wenzelm | IMP/document/root.tex; | changeset | files |
| Thu, 27 Dec 2001 16:44:29 +0100 | wenzelm | warn for spaces in ISABELLE_HOME; | changeset | files |