| Tue, 29 Sep 2015 18:39:55 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 29 Sep 2015 16:58:33 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Tue, 29 Sep 2015 16:45:54 +0200 | wenzelm | proper event; | file | diff | annotate |
| Tue, 29 Sep 2015 16:28:02 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Tue, 29 Sep 2015 13:54:04 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Fri, 21 Aug 2015 18:46:12 +0200 | wenzelm | more scalable GUI; | file | diff | annotate |
| Sat, 17 Jan 2015 23:33:21 +0100 | wenzelm | tuned window size for the sake of Windows L&F; | 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 |