src/Pure/System/isabelle_process.scala
Thu, 06 Apr 2017 22:04:30 +0200 wenzelm clarified signature: tree structure is not essential;
Sat, 01 Apr 2017 22:03:24 +0200 wenzelm clarified YXML vs. symbol encoding: operate on whole message;
Sat, 18 Mar 2017 21:40:47 +0100 wenzelm simplified signature (despite 448325de6e4f);
Sat, 18 Mar 2017 20:24:12 +0100 wenzelm more process arguments;
Tue, 14 Mar 2017 11:48:15 +0100 wenzelm support for permanent phase_changed watcher;
Mon, 13 Mar 2017 23:24:20 +0100 wenzelm more explicit Session.xml_cache;
Mon, 13 Mar 2017 22:50:26 +0100 wenzelm tuned signature;
less more (0) -100 -30 -10 -7 tip