Tue, 30 Dec 2014 11:50:34 +0100 | wenzelm | added system property isabelle.laf, notably for initial system dialog; | file | diff | annotate |
Wed, 23 Jul 2014 11:19:24 +0200 | wenzelm | clarified module name: facilitate alternative GUI frameworks; | file | diff | annotate |
Tue, 22 Apr 2014 23:49:15 +0200 | wenzelm | avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0; | file | diff | annotate |
Mon, 09 Dec 2013 22:02:42 +0100 | wenzelm | alternative hires icon; | file | diff | annotate |
Sat, 09 Nov 2013 11:41:32 +0100 | wenzelm | adjust modules for Admin/build jars_test; | file | diff | annotate |
Tue, 24 Sep 2013 20:41:28 +0200 | wenzelm | more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material); | file | diff | annotate |
Sun, 22 Sep 2013 14:30:34 +0200 | wenzelm | clarified location of GUI modules (which depend on Swing of JFX); | file | diff | annotate | base |