| Wed, 22 Nov 2006 19:53:24 +0100 | wenzelm | add ISABELLE_VERSION to ML_IDENTIFIER, unless this is repository or build; | changeset | files |
| Wed, 22 Nov 2006 17:38:36 +0100 | wenzelm | consts: ProofContext.set_stmt true -- avoids naming of local thms; | changeset | files |
| Wed, 22 Nov 2006 15:58:59 +0100 | wenzelm | init: enter inner statement mode, which prevents local notes from being named internally; | changeset | files |
| Wed, 22 Nov 2006 15:58:15 +0100 | wenzelm | more careful declaration of "intros" as Pure.intro; | changeset | files |
| Wed, 22 Nov 2006 12:01:59 +0100 | aspinall | Fix to local file URI syntax. Add first part of lexicalstructure command support. | changeset | files |
| Wed, 22 Nov 2006 10:22:04 +0100 | haftmann | completed class parameter handling in axclass.ML | changeset | files |