| Tue, 27 Oct 2015 23:18:32 +0100 | wenzelm | no icons here -- not a standalone window; | file | diff | annotate |
| Fri, 21 Aug 2015 18:46:12 +0200 | wenzelm | more scalable GUI; | file | diff | annotate |
| Sun, 12 Apr 2015 13:10:04 +0200 | wenzelm | less ambitious collection of quasi-generic PIDE modules; | file | diff | annotate |
| Tue, 10 Mar 2015 20:12:30 +0100 | wenzelm | more precise position information in Isabelle/Scala, with YXML markup as in Isabelle/ML; | file | diff | annotate |
| 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 |