src/Pure/System/isabelle_process.scala
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;
2012-05-29 wenzelm 2012-05-29 need to close_input before expecting threads to terminate/join; tuned signature;
2012-05-29 wenzelm 2012-05-29 more explicit treatment of return code vs. session phase;
2012-03-03 wenzelm 2012-03-03 clarified terminology of raw protocol messages;
2012-03-03 wenzelm 2012-03-03 tuned;
2012-03-03 wenzelm 2012-03-03 tuned signature -- emphasize Isabelle_Process Input vs. Output;
2012-03-03 wenzelm 2012-03-03 clarified scope of exception handlers;
2012-03-02 wenzelm 2012-03-02 terminate after first exception -- avoid syslog flooding;
2012-02-20 wenzelm 2012-02-20 clarified initial process startup errors: recover image load failure message (cf. 2cb7e34f6096) and suppress accidental output from raw ML toplevel;
2012-01-05 wenzelm 2012-01-05 prefer raw_message for protocol implementation;
2011-12-01 wenzelm 2011-12-01 clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 wenzelm 2011-11-29 clarified modules;
2011-11-28 wenzelm 2011-11-28 separate module for concrete Isabelle markup;
2011-11-25 wenzelm 2011-11-25 retain stderr and include it in syslog, which is buffered and thus increases the chance that users see remains from crashes etc.;
2011-10-17 wenzelm 2011-10-17 always use sockets on Windows/Cygwin; discontinued special raw_dump facility;
2011-09-25 wenzelm 2011-09-25 more uniform defaults;
2011-09-23 wenzelm 2011-09-23 explicit option for socket vs. fifo communication;
2011-09-21 wenzelm 2011-09-21 more abstract wrapping of fifos as System_Channel;
2011-09-07 wenzelm 2011-09-07 added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
2011-09-06 wenzelm 2011-09-06 buffer prover messages to prevent overloading of session_actor input channel -- which is critical due to synchronous messages wrt. GUI thread;
2011-09-06 wenzelm 2011-09-06 more abstract receiver interface;
2011-09-04 wenzelm 2011-09-04 simplified signatures;
2011-09-04 wenzelm 2011-09-04 pass raw messages through xml_cache actor, which is important to retain ordering of results (e.g. read_command reports before assign, cf. 383c9d758a56);
2011-07-12 wenzelm 2011-07-12 more uniform Properties in ML and Scala;
2011-07-11 wenzelm 2011-07-11 JVM method invocation service via Scala layer;
2011-07-11 wenzelm 2011-07-11 tuned signature;
2011-07-11 wenzelm 2011-07-11 some support for raw messages, which bypass standard Symbol/YXML decoding; tuned signature;
2011-07-11 wenzelm 2011-07-11 tuned XML.Cache parameters;
2011-07-09 wenzelm 2011-07-09 echo prover input via raw_messages, for improved protocol tracing;
2011-07-07 wenzelm 2011-07-07 simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style"; tuned implicit build/init messages;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";