src/Tools/jEdit/src/session_build.scala
2016-04-14 wenzelm 2016-04-14 clarified modules;
2015-11-23 wenzelm 2015-11-23 clarified font: GUI defaults might change dynamically;
2015-11-14 wenzelm 2015-11-14 tuned message;
2015-11-03 wenzelm 2015-11-03 clarified modules;
2015-10-27 wenzelm 2015-10-27 no icons here -- not a standalone window;
2015-09-30 wenzelm 2015-09-30 tuned GUI;
2015-09-30 wenzelm 2015-09-30 tuned GUI;
2015-09-30 wenzelm 2015-09-30 tuned message;
2015-09-30 wenzelm 2015-09-30 clarified modules; more conventional GUI threading;