| Tue, 02 Jul 2013 15:30:53 +0200 | wenzelm | clarified initial cd; | changeset | files |
| Tue, 02 Jul 2013 14:48:01 +0200 | wenzelm | clarified Proofterm.proofs vs. Goal.skip_proofs; | changeset | files |
| Mon, 01 Jul 2013 15:08:29 +0200 | wenzelm | clarified focus after dismiss; | changeset | files |
| Mon, 01 Jul 2013 15:05:18 +0200 | wenzelm | tuned signature; | changeset | files |