Mon, 24 Oct 2016 12:16:12 +0200 | wenzelm | discontinued unused / untested distinction of separate PIDE modules; | file | diff | annotate |
Wed, 09 Mar 2016 16:40:39 +0100 | wenzelm | prefer explicit locale; | file | diff | annotate |
Wed, 16 Apr 2014 09:38:40 +0200 | wenzelm | tuned signature -- separate module Word; | file | diff | annotate |
Fri, 11 Apr 2014 19:07:56 +0200 | wenzelm | prefere standard Isabelle/Scala operation, with fixed locale; | 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 |