| Wed, 08 Mar 2000 17:49:28 +0100 | wenzelm | added (un)tag_rule; | changeset | files |
| Wed, 08 Mar 2000 17:48:31 +0100 | wenzelm | added Isar/rule_cases.ML; | changeset | files |
| Wed, 08 Mar 2000 17:45:16 +0100 | wenzelm | added isatool mkdir; | changeset | files |
| Wed, 08 Mar 2000 17:44:53 +0100 | wenzelm | isabelle -c: tell ML system to compress output image; | changeset | files |
| Wed, 08 Mar 2000 17:41:40 +0100 | wenzelm | pass -c option; | changeset | files |
| Wed, 08 Mar 2000 17:40:24 +0100 | wenzelm | observe COMPRESS option; | changeset | files |
| Wed, 08 Mar 2000 17:39:08 +0100 | wenzelm | option -c: tell ML system to compress output image; | changeset | files |
| Wed, 08 Mar 2000 17:36:54 +0100 | wenzelm | * isatool mkdir provides easy setup of Isabelle session directories, | changeset | files |