| Fri, 18 Mar 2016 17:58:19 +0100 |
wenzelm |
discontinued slightly odd "secure" mode;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 11:45:25 +0100 |
wenzelm |
less physical "logic" argument, with option -l like "isabelle console" etc.;
|
file |
diff |
annotate
|
| Tue, 15 Mar 2016 23:59:39 +0100 |
wenzelm |
find heaps uniformly via Sessions.Store;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 10:07:23 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 08 Mar 2016 20:33:34 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 08 Mar 2016 14:44:11 +0100 |
wenzelm |
more abstract Session.start, without prover command-line;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 22:40:43 +0100 |
wenzelm |
prospective command line entry point for simplified isabelle_process;
|
file |
diff |
annotate
|
| Mon, 07 Mar 2016 20:44:47 +0100 |
wenzelm |
clarified treatment of DEL;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Sun, 14 Feb 2016 13:38:31 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sun, 14 Feb 2016 13:23:12 +0100 |
wenzelm |
more careful quoting for the sake of Windows;
|
file |
diff |
annotate
|
| Sat, 13 Feb 2016 21:22:02 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 13 Feb 2016 20:41:56 +0100 |
wenzelm |
clarified bash process -- similar to ML version;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 20:36:06 +0200 |
wenzelm |
clarified modules, like ML version;
|
file |
diff |
annotate
|
| Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 18:54:53 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 18:36:43 +0200 |
wenzelm |
generic process wrapping in Prover;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 17:28:07 +0200 |
wenzelm |
more abstract Prover.System_Process, which allows to bypass Isabelle_System.Managed_Process;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 20:01:45 +0200 |
wenzelm |
prefer scala.Console with its support for thread-local redirection;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 21:29:36 +0200 |
wenzelm |
clarified exit sequence: prover is reset afterwards, no more output messages;
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 14:50:40 +0200 |
wenzelm |
clarified;
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 12:27:18 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Thu, 24 Apr 2014 16:47:47 +0200 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Thu, 24 Apr 2014 15:02:13 +0200 |
wenzelm |
clarified command_input: Consumer_Thread;
|
file |
diff |
annotate
|
| Thu, 24 Apr 2014 13:54:45 +0200 |
wenzelm |
eliminated pointless output actors;
|
file |
diff |
annotate
|
| 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);
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 19:26:39 +0200 |
wenzelm |
recovered public command_line from d92eb5c3960d, which is important for alternative prover processes;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 14:54:17 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 13:46:18 +0200 |
wenzelm |
more general prover operations;
|
file |
diff |
annotate
|