| Thu, 17 May 2018 15:38:36 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Sun, 13 May 2018 16:37:36 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 10 Dec 2017 20:29:00 +0100 |
wenzelm |
avoid println with its extra CR on Windows;
|
file |
diff |
annotate
|
| Sun, 12 Nov 2017 12:41:05 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Thu, 06 Apr 2017 22:04:30 +0200 |
wenzelm |
clarified signature: tree structure is not essential;
|
file |
diff |
annotate
|
| Sat, 01 Apr 2017 22:03:24 +0200 |
wenzelm |
clarified YXML vs. symbol encoding: operate on whole message;
|
file |
diff |
annotate
|
| 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
|