2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-04-22 wenzelm 2014-04-22 avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2013-12-09 wenzelm 2013-12-09 alternative hires icon;
2013-11-09 wenzelm 2013-11-09 adjust modules for Admin/build jars_test;
2013-09-24 wenzelm 2013-09-24 more quasi-generic PIDE modules (NB: Swing/JFX needs to be kept separate from non-GUI material);
2013-09-22 wenzelm 2013-09-22 clarified location of GUI modules (which depend on Swing of JFX);