| Mon, 07 Dec 2009 22:41:32 +0100 | wenzelm | misc updates; | changeset | files |
| Mon, 07 Dec 2009 22:41:15 +0100 | wenzelm | simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6); | changeset | files |
| Mon, 07 Dec 2009 22:40:01 +0100 | wenzelm | removed ScrollerDockable, which is based on discontinued Flying Saucer renderer; | changeset | files |