| Fri, 31 Aug 2012 14:35:04 +0200 | wenzelm | more markup for failed goal forks, reusing "bad"; | changeset | files |
| Fri, 31 Aug 2012 13:23:25 +0200 | wenzelm | further refinement of command status, to accomodate forked proofs; | changeset | files |
| Thu, 30 Aug 2012 22:38:12 +0200 | wenzelm | merged; | changeset | files |