src/Pure/System/isabelle_process.scala
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;
Tue, 29 Mar 2016 23:41:28 +0200 wenzelm proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l;
Fri, 18 Mar 2016 17:58:19 +0100 wenzelm discontinued slightly odd "secure" mode;
Wed, 16 Mar 2016 11:45:25 +0100 wenzelm less physical "logic" argument, with option -l like "isabelle console" etc.;
Tue, 15 Mar 2016 23:59:39 +0100 wenzelm find heaps uniformly via Sessions.Store;
Thu, 10 Mar 2016 10:07:23 +0100 wenzelm clarified modules;
Tue, 08 Mar 2016 20:33:34 +0100 wenzelm tuned signature;
Tue, 08 Mar 2016 14:44:11 +0100 wenzelm more abstract Session.start, without prover command-line;
Tue, 08 Mar 2016 11:18:21 +0100 wenzelm removed pointless option: this is meant for web services using Isabelle/Scala, not command-line tools;
Mon, 07 Mar 2016 22:40:43 +0100 wenzelm prospective command line entry point for simplified isabelle_process;
Mon, 07 Mar 2016 20:44:47 +0100 wenzelm clarified treatment of DEL;
Mon, 07 Mar 2016 18:20:22 +0100 wenzelm Bash.process always uses a closed script instead of an open argument list, for extra robustness on Windows, where quoting is not well-defined;
Sun, 14 Feb 2016 13:38:31 +0100 wenzelm tuned whitespace;
Sun, 14 Feb 2016 13:23:12 +0100 wenzelm more careful quoting for the sake of Windows;
Sat, 13 Feb 2016 21:22:02 +0100 wenzelm tuned signature;
Sat, 13 Feb 2016 20:41:56 +0100 wenzelm clarified bash process -- similar to ML version;
Thu, 20 Aug 2015 20:36:06 +0200 wenzelm clarified modules, like ML version;
Sun, 03 May 2015 00:01:10 +0200 wenzelm misc tuning, based on warnings by IntelliJ IDEA;
Tue, 12 Aug 2014 18:54:53 +0200 wenzelm tuned signature;
Tue, 12 Aug 2014 18:36:43 +0200 wenzelm generic process wrapping in Prover;
Tue, 12 Aug 2014 17:28:07 +0200 wenzelm more abstract Prover.System_Process, which allows to bypass Isabelle_System.Managed_Process;
Fri, 02 May 2014 20:01:45 +0200 wenzelm prefer scala.Console with its support for thread-local redirection;
Tue, 29 Apr 2014 21:29:36 +0200 wenzelm clarified exit sequence: prover is reset afterwards, no more output messages;
Tue, 29 Apr 2014 14:50:40 +0200 wenzelm clarified;
Fri, 25 Apr 2014 12:27:18 +0200 wenzelm tuned comments;
Thu, 24 Apr 2014 16:47:47 +0200 wenzelm tuned imports;
Thu, 24 Apr 2014 15:02:13 +0200 wenzelm clarified command_input: Consumer_Thread;
Thu, 24 Apr 2014 13:54:45 +0200 wenzelm eliminated pointless output actors;
Thu, 17 Apr 2014 14:52:23 +0200 wenzelm reintroduced process interrupt for the sake of synchronous protocol commands like "use_theories" (see also 27930cf6f0f7);
Thu, 03 Apr 2014 19:26:39 +0200 wenzelm recovered public command_line from d92eb5c3960d, which is important for alternative prover processes;
Thu, 03 Apr 2014 14:54:17 +0200 wenzelm more general prover operations;
Thu, 03 Apr 2014 13:46:18 +0200 wenzelm more general prover operations;
Thu, 20 Feb 2014 14:36:17 +0100 wenzelm tuned imports;
Sat, 16 Nov 2013 12:29:10 +0100 wenzelm more distinctive Isabelle_Process.Output vs. Isabelle_Process.Protocol_Output;
Fri, 15 Nov 2013 19:31:10 +0100 wenzelm more specific Protocol_Output: empty message.body, main content via bytes/text;
Thu, 14 Nov 2013 17:17:57 +0100 wenzelm tuned signature;
Tue, 01 Oct 2013 12:53:24 +0200 wenzelm tuned signature -- facilitate experimentation with other processes;
Tue, 30 Jul 2013 19:53:06 +0200 wenzelm tuned -- more uniform ML vs. Scala;
Wed, 10 Jul 2013 22:04:57 +0200 wenzelm tuned signature;
Wed, 10 Jul 2013 21:54:43 +0200 wenzelm no need for raw stdin;
Tue, 09 Apr 2013 20:34:15 +0200 wenzelm public Isabelle_Process.xml_cache (thread-safe);
Tue, 09 Apr 2013 20:27:27 +0200 wenzelm tuned signature;
Sun, 25 Nov 2012 20:17:04 +0100 wenzelm explicit module UTF8;
Sun, 25 Nov 2012 19:49:24 +0100 wenzelm Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
Sun, 18 Nov 2012 15:28:58 +0100 wenzelm update options via protocol;
Mon, 01 Oct 2012 20:17:30 +0200 wenzelm more direct message header: eliminated historic encoding via single letter;
Wed, 19 Sep 2012 17:07:25 +0200 wenzelm earlier treatment of embedded report/no_report messages (see also 4110cc1b8f9f);
Tue, 07 Aug 2012 12:35:24 +0200 wenzelm tuned signature -- slightly more abstract text representation of prover process;
Thu, 19 Jul 2012 20:49:17 +0200 wenzelm support for detached Bash_Job with some control operations;
Thu, 19 Jul 2012 20:02:44 +0200 wenzelm support external processes with explicit environment;
Tue, 29 May 2012 21:48:05 +0200 wenzelm clarified prover startup: no timeout, read stderr more carefully;
Tue, 29 May 2012 21:03:11 +0200 wenzelm need to close_input before expecting threads to terminate/join;
Tue, 29 May 2012 18:00:54 +0200 wenzelm more explicit treatment of return code vs. session phase;
Sat, 03 Mar 2012 18:18:39 +0100 wenzelm clarified terminology of raw protocol messages;
Sat, 03 Mar 2012 17:46:50 +0100 wenzelm tuned;
Sat, 03 Mar 2012 17:30:14 +0100 wenzelm tuned signature -- emphasize Isabelle_Process Input vs. Output;
Sat, 03 Mar 2012 11:31:12 +0100 wenzelm clarified scope of exception handlers;
Fri, 02 Mar 2012 22:34:42 +0100 wenzelm terminate after first exception -- avoid syslog flooding;
less more (0) -100 -60 tip