src/Tools/jEdit/src/session_build.scala
12 months ago wenzelm 2018-06-09 clarified signature: more uniform theory_message (see also d7920eb7de54);
19 months ago wenzelm 2017-11-01 added isabelle jedit options -B, -P, clarified -R; misc tuning and clarification;
2017-05-14 wenzelm 2017-05-14 tuned signature;
2017-03-15 wenzelm 2017-03-15 more explicit options; tuned signature;
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;