src/Pure/System/isabelle_process.scala
17 months ago wenzelm 2018-05-13 tuned signature;
22 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
23 months ago wenzelm 2017-11-12 tuned signature;
2017-04-06 wenzelm 2017-04-06 clarified signature: tree structure is not essential;
2017-04-01 wenzelm 2017-04-01 clarified YXML vs. symbol encoding: operate on whole message; tuned signature;
2017-03-18 wenzelm 2017-03-18 simplified signature (despite 448325de6e4f);
2017-03-18 wenzelm 2017-03-18 more process arguments;
2017-03-14 wenzelm 2017-03-14 support for permanent phase_changed watcher;
2017-03-13 wenzelm 2017-03-13 more explicit Session.xml_cache;
2017-03-13 wenzelm 2017-03-13 tuned signature;
2016-03-29 wenzelm 2016-03-29 proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l;
2016-03-18 wenzelm 2016-03-18 discontinued slightly odd "secure" mode;
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 find heaps uniformly via Sessions.Store; tuned;
2016-03-10 wenzelm 2016-03-10 clarified modules;
2016-03-08 wenzelm 2016-03-08 tuned signature;
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-08 wenzelm 2016-03-08 removed pointless option: this is meant for web services using Isabelle/Scala, not command-line tools;
2016-03-07 wenzelm 2016-03-07 prospective command line entry point for simplified isabelle_process;
2016-03-07 wenzelm 2016-03-07 clarified treatment of DEL; 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-14 wenzelm 2016-02-14 tuned whitespace;
2016-02-14 wenzelm 2016-02-14 more careful quoting for the sake of Windows;
2016-02-13 wenzelm 2016-02-13 tuned signature;
2016-02-13 wenzelm 2016-02-13 clarified bash process -- similar to ML version;
2015-08-20 wenzelm 2015-08-20 clarified modules, like ML version;
2015-05-03 wenzelm 2015-05-03 misc tuning, based on warnings by IntelliJ IDEA;
2014-08-12 wenzelm 2014-08-12 tuned signature;
2014-08-12 wenzelm 2014-08-12 generic process wrapping in Prover; clarified module arrangement;
2014-08-12 wenzelm 2014-08-12 more abstract Prover.System_Process, which allows to bypass Isabelle_System.Managed_Process;
2014-05-02 wenzelm 2014-05-02 prefer scala.Console with its support for thread-local redirection;
2014-04-29 wenzelm 2014-04-29 clarified exit sequence: prover is reset afterwards, no more output messages;
2014-04-29 wenzelm 2014-04-29 clarified;
2014-04-25 wenzelm 2014-04-25 tuned comments;
2014-04-24 wenzelm 2014-04-24 tuned imports;
2014-04-24 wenzelm 2014-04-24 clarified command_input: Consumer_Thread;
2014-04-24 wenzelm 2014-04-24 eliminated pointless output actors; clarified command_input, which already includes thread.join;
2014-04-17 wenzelm 2014-04-17 reintroduced process interrupt for the sake of synchronous protocol commands like "use_theories" (see also 27930cf6f0f7);
2014-04-03 wenzelm 2014-04-03 recovered public command_line from d92eb5c3960d, which is important for alternative prover processes;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-11-16 wenzelm 2013-11-16 more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output;
2013-11-15 wenzelm 2013-11-15 more specific Protocol_Output: empty message.body, main content via bytes/text;
2013-11-14 wenzelm 2013-11-14 tuned signature;
2013-10-01 wenzelm 2013-10-01 tuned signature -- facilitate experimentation with other processes;
2013-07-30 wenzelm 2013-07-30 tuned -- more uniform ML vs. Scala;
2013-07-10 wenzelm 2013-07-10 tuned signature;
2013-07-10 wenzelm 2013-07-10 no need for raw stdin;
2013-04-09 wenzelm 2013-04-09 public Isabelle_Process.xml_cache (thread-safe); cache derived status messages;
2013-04-09 wenzelm 2013-04-09 tuned signature;
2012-11-25 wenzelm 2012-11-25 explicit module UTF8;
2012-11-25 wenzelm 2012-11-25 Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
2012-11-18 wenzelm 2012-11-18 update options via protocol; jEdit dialog for "Parallel Checking" options;
2012-10-01 wenzelm 2012-10-01 more direct message header: eliminated historic encoding via single letter;
2012-09-19 wenzelm 2012-09-19 earlier treatment of embedded report/no_report messages (see also 4110cc1b8f9f);
2012-08-07 wenzelm 2012-08-07 tuned signature -- slightly more abstract text representation of prover process;
2012-07-19 wenzelm 2012-07-19 support for detached Bash_Job with some control operations;
2012-07-19 wenzelm 2012-07-19 support external processes with explicit environment;
2012-05-29 wenzelm 2012-05-29 clarified prover startup: no timeout, read stderr more carefully;