| 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 |
| Thu, 11 Dec 2008 17:04:46 +0100 | wenzelm | merged | changeset | files |
| Wed, 10 Dec 2008 22:55:15 +0100 | wenzelm | more antiquotations; | changeset | files |
| Thu, 11 Dec 2008 16:50:18 +0100 | wenzelm | pcpodef package: state two goals, instead of encoded conjunction; | changeset | files |