| Tue, 07 Sep 2010 14:08:21 +0200 | wenzelm | report token range after inner parse error -- often provides important clues about misunderstanding concerning lexical phase; | changeset | files |
| Tue, 07 Sep 2010 13:16:45 +0200 | wenzelm | slightly more robust Plugin.stop -- components might refer to Isabelle.system even after shutdown; | changeset | files |
| Mon, 06 Sep 2010 22:58:06 +0200 | wenzelm | turned show_hyps and show_tags into proper configuration option; | changeset | files |
| Mon, 06 Sep 2010 22:31:54 +0200 | wenzelm | discontinued obsolete ProofContext.prems_limit; | changeset | files |
| Mon, 06 Sep 2010 22:08:49 +0200 | wenzelm | ML_Context.thm and ML_Context.thms no longer pervasive; | changeset | files |
| Mon, 06 Sep 2010 21:33:19 +0200 | wenzelm | more explicit indication of Config.raw options, which are only needed for bootstrapping Pure; | changeset | files |