src/Pure/PIDE/batch_session.scala
2017-03-13 ago clarified Session.Phase;
2017-01-09 ago tuned signature;
2016-10-08 ago tuned;
2016-03-16 ago always build with full results;
2016-03-16 ago tuned signature;
2016-03-16 ago less physical "logic" argument, with option -l like "isabelle console" etc.;
2016-03-15 ago clarified modules;
2016-03-08 ago more abstract Session.start, without prover command-line;
2016-03-07 ago Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
2016-02-29 ago isabelle_process executable no longer supports writable heap images;
2016-02-13 ago clarified bash process -- similar to ML version;
2015-09-29 ago clarified modules;
2015-04-01 ago added isabelle build option -x, to exclude sessions;
2015-04-01 ago added isabelle build option -k, for fast off-line checking of theory sources;
2015-03-16 ago proper headers;
2015-01-15 ago more informative build_theories_result: cumulative Runtime.exn_message;
2015-01-14 ago more type-safe handler interface;
2015-01-14 ago clarified build_theories: proper protocol handler;
2015-01-14 ago clarified build_theories;
2015-01-13 ago some support for PIDE batch session;