| Wed, 06 Nov 2013 20:58:11 +0100 | wenzelm | join all theory body forks, notably Toplevel.atom_result (diagnostic commands), before peeking at full status; | changeset | files |
| Wed, 06 Nov 2013 20:46:00 +0100 | wenzelm | tuned signature; | changeset | files |
| 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 |