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