| Tue, 26 Oct 2010 11:11:23 +0200 | blanchet | clearer error messages | changeset | files |
| Tue, 26 Oct 2010 11:10:00 +0200 | blanchet | renaming | changeset | files |
| Thu, 28 Oct 2010 15:06:47 +0200 | wenzelm | back again to non-Apple font rendering (cf. 4977324373f2); | changeset | files |
| Thu, 28 Oct 2010 14:56:14 +0200 | wenzelm | dock isabelle-session at bottom (again, cf. 37bdc2220cf8) to ensure that controls are fully visible; | changeset | files |