src/Pure/GUI/gui.scala
2013-09-22 wenzelm 2013-09-22 tuned;
2013-09-22 wenzelm 2013-09-22 tuned signature;
2013-09-22 wenzelm 2013-09-22 clarified location of GUI modules (which depend on Swing of JFX);