| Thu, 30 Aug 2012 21:50:49 +0200 | wenzelm | register proofs of Isar goals, to enable recovery from unstable command states after interactive cancellation; | changeset | files |
| Thu, 30 Aug 2012 21:23:04 +0200 | wenzelm | refined treatment of forked proofs at transaction boundaries, including proof commands (see also 7ee000ce5390); | changeset | files |
| Thu, 30 Aug 2012 19:18:49 +0200 | wenzelm | some support for registering forked proofs within Proof.state, using its bottom context; | changeset | files |
| Thu, 30 Aug 2012 16:39:50 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 30 Aug 2012 15:26:37 +0200 | wenzelm | refined status of forked goals; | changeset | files |
| Thu, 30 Aug 2012 15:22:21 +0200 | wenzelm | proper merge of promises to avoid exponential blow-up in pathologic situations (e.g. lack of PThm wrapping); | changeset | files |