| Fri, 18 Mar 2016 21:21:09 +0100 |
wenzelm |
clarified print depth;
|
file |
diff |
annotate
|
| Fri, 18 Mar 2016 17:58:19 +0100 |
wenzelm |
discontinued slightly odd "secure" mode;
|
file |
diff |
annotate
|
| Thu, 17 Mar 2016 13:44:18 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 22:16:58 +0100 |
wenzelm |
pro-forma selection for improved error message;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 22:06:05 +0100 |
wenzelm |
eliminated without magic name;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 21:11:15 +0100 |
wenzelm |
isabelle process -d;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 20:50:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 16 Mar 2016 15:08:22 +0100 |
wenzelm |
support for Poly/ML heap hierarchy, which saves a lot of disk space;
|
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
|
| Tue, 15 Mar 2016 14:30:18 +0100 |
wenzelm |
clarified prompt: "ML" usually means Isabelle/ML;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 13:04:50 +0100 |
wenzelm |
prefer Scala over bash function;
|
file |
diff |
annotate
|
| Sun, 13 Mar 2016 12:37:01 +0100 |
wenzelm |
more uniform signature for various process invocations;
|
file |
diff |
annotate
|
| Sat, 12 Mar 2016 22:51:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 12 Mar 2016 22:02:36 +0100 |
wenzelm |
clarified cleanup;
|
file |
diff |
annotate
|
| Sat, 12 Mar 2016 21:46:31 +0100 |
wenzelm |
more thorough cleanup -- in Scala;
|
file |
diff |
annotate
|
| Sat, 12 Mar 2016 21:23:58 +0100 |
wenzelm |
create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1);
|
file |
diff |
annotate
|
| Sat, 12 Mar 2016 21:03:45 +0100 |
wenzelm |
obsolete (cf. 63a5782c764e);
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
| Thu, 10 Mar 2016 10:07:23 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|