| Tue, 16 Aug 2005 13:42:37 +0200 | wenzelm | back: removed ill-defined '!' option; | changeset | files |
| Tue, 16 Aug 2005 13:42:36 +0200 | wenzelm | replaced sign by thy; | changeset | files |
| Tue, 16 Aug 2005 13:42:35 +0200 | wenzelm | added liberal_name; | changeset | files |
| Tue, 16 Aug 2005 13:42:34 +0200 | wenzelm | tuned Symbol.spaces; | changeset | files |
| Tue, 16 Aug 2005 13:42:33 +0200 | wenzelm | tuned Buffer.add; | changeset | files |
| Tue, 16 Aug 2005 13:42:32 +0200 | wenzelm | tuned unsuffix/unprefix; | changeset | files |
| 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 |