src/Pure/GUI/jfx_thread.scala
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);
Sun, 22 Sep 2013 14:30:34 +0200 wenzelm clarified location of GUI modules (which depend on Swing of JFX);
less more (0) tip