| Wed, 06 Nov 2013 18:15:25 +0100 | wenzelm | less tiny font for search criteria; | changeset | files |
| Wed, 06 Nov 2013 18:04:36 +0100 | wenzelm | tuned tooltips; | changeset | files |
| Thu, 17 Oct 2013 17:14:06 +0200 | Andreas Lochbihler | swap equations and premises in the coinductive step for better proof automation | changeset | files |
| Tue, 05 Nov 2013 18:16:16 +0100 | wenzelm | no default shortcut for isabelle.reset-font-size -- avoid conflict with unsplit-current; | changeset | files |
| Tue, 05 Nov 2013 16:41:19 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 28 Oct 2013 11:27:14 +0100 | noschinl | CONTRIBUTORS | changeset | files |
| Sun, 03 Nov 2013 18:12:23 +0100 | wenzelm | more on text completion; | changeset | files |