| Mon, 07 Dec 2009 23:00:30 +0100 | wenzelm | obsolete; | changeset | files |
| Mon, 07 Dec 2009 22:59:48 +0100 | wenzelm | use IsabelleText by default; | changeset | files |
| 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 |
| Mon, 07 Dec 2009 00:05:21 +0100 | wenzelm | use IsabelleText font; | changeset | files |