src/Tools/jEdit/src/jedit_sessions.scala
2017-01-01 wenzelm 2017-01-01 tuned signature;
2016-12-18 wenzelm 2016-12-18 added isabelle jedit -R; errors in session_info/session_content are ignored and deferred to later checks of Build.build;
2016-10-01 wenzelm 2016-10-01 options for process policy, notably for multiprocessor machines;
2016-04-14 wenzelm 2016-04-14 tuned;
2016-04-14 wenzelm 2016-04-14 clarified modules;