| Thu, 11 Dec 2008 22:25:39 +0100 | wenzelm | enable future_scheduler by default; | changeset | files |
| Thu, 11 Dec 2008 21:31:42 +0100 | wenzelm | ISABELLE_USEDIR_OPTIONS: -M max is default; | changeset | files |
| Thu, 11 Dec 2008 20:31:45 +0100 | wenzelm | unified ids for ancestors and checkpoints, removed obsolete history of checkpoints; | changeset | files |
| Thu, 11 Dec 2008 20:17:57 +0100 | wenzelm | removed spurious exception_trace; | changeset | files |
| Thu, 11 Dec 2008 17:32:37 +0100 | wenzelm | print_theorems: more robust difference, even after finished proof; | changeset | files |
| Thu, 11 Dec 2008 17:31:23 +0100 | wenzelm | export context_node; | changeset | files |