| 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 |
| Sun, 03 Nov 2013 16:49:52 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 03 Nov 2013 16:37:54 +0100 | wenzelm | more on Monitor panel; | changeset | files |
| Sun, 03 Nov 2013 16:22:57 +0100 | wenzelm | more on Timing; | changeset | files |
| Fri, 01 Nov 2013 17:26:47 +0100 | wenzelm | more on miscellaneous tools; | changeset | files |
| Thu, 31 Oct 2013 17:37:08 +0100 | wenzelm | more screenshots; | changeset | files |
| Thu, 31 Oct 2013 17:13:39 +0100 | wenzelm | more screenshots; | changeset | files |
| Thu, 31 Oct 2013 16:47:36 +0100 | wenzelm | more on Sledgehammer; | changeset | files |