| Tue, 16 Aug 2005 13:42:31 +0200 | wenzelm | type proof: theory_ref instead of theory (make proof contexts independent entities); | changeset | files |
| Tue, 16 Aug 2005 13:42:30 +0200 | wenzelm | Isar command keyword classification (from Isar/outer_syntax.ML); | changeset | files |
| Tue, 16 Aug 2005 13:42:29 +0200 | wenzelm | added Isar/outer_keyword.ML; | changeset | files |
| Tue, 16 Aug 2005 13:42:26 +0200 | wenzelm | OuterKeyword; | changeset | files |
| Tue, 16 Aug 2005 13:42:23 +0200 | wenzelm | updated; | changeset | files |
| Tue, 16 Aug 2005 13:42:21 +0200 | wenzelm | removed -H false; | changeset | files |
| Tue, 16 Aug 2005 13:42:20 +0200 | wenzelm | isatool usedir: option -V and -f; | changeset | files |