| 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 |
| Sun, 06 Dec 2009 20:50:07 +0100 | wenzelm | reduced logging; | changeset | files |
| Fri, 04 Dec 2009 23:10:11 +0100 | wenzelm | tuned message markup; | changeset | files |