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 |
Mon, 07 Dec 2009 00:05:21 +0100 | wenzelm | use IsabelleText font; | changeset | files |