| Sat, 18 Mar 2017 21:40:47 +0100 |
wenzelm |
simplified signature (despite 448325de6e4f);
|
file |
diff |
annotate
|
| Sat, 18 Mar 2017 20:24:12 +0100 |
wenzelm |
more process arguments;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 11:48:15 +0100 |
wenzelm |
support for permanent phase_changed watcher;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 23:24:20 +0100 |
wenzelm |
more explicit Session.xml_cache;
|
file |
diff |
annotate
|
| Mon, 13 Mar 2017 22:50:26 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 29 Mar 2016 23:41:28 +0200 |
wenzelm |
proper session dirs for "isabelle jedit" and "isabelle console" with options -d and -l;
|
file |
diff |
annotate
|
| 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
|