| 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
|