| 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 |