| Sat, 29 Mar 2008 13:03:05 +0100 | wenzelm | eliminated quiet_mode ref of some packages (avoid CRITICAL setmp!); | changeset | files |
| Fri, 28 Mar 2008 22:39:47 +0100 | wenzelm | added forget_structure; | changeset | files |
| Fri, 28 Mar 2008 22:39:45 +0100 | wenzelm | eval_wrapper: non-critical version via unique Isabelle structure, proper forget_structure; | changeset | files |
| Fri, 28 Mar 2008 22:39:43 +0100 | wenzelm | ml_tactic: non-critical version via proof data and thread data; | changeset | files |
| Fri, 28 Mar 2008 22:39:42 +0100 | wenzelm | NAMED_CRITICAL; | changeset | files |
| Fri, 28 Mar 2008 22:01:56 +0100 | haftmann | unfold_locales now part of default tactic | changeset | files |
| Fri, 28 Mar 2008 22:01:04 +0100 | haftmann | import Main explicitly | changeset | files |
| Fri, 28 Mar 2008 22:01:03 +0100 | haftmann | dropped now superfluous ad-hoc adaption | changeset | files |