| Mon, 05 Jan 2015 14:13:38 +0100 | wenzelm | GUI.imitate_font: more explicit result size, e.g. relevant for caching; | file | diff | annotate |
| Thu, 01 Jan 2015 17:27:52 +0100 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 30 Dec 2014 11:50:34 +0100 | wenzelm | added system property isabelle.laf, notably for initial system dialog; | file | diff | annotate |