Fri, 07 Apr 2017 19:35:39 +0200 |
wenzelm |
provide session base for "isabelle build" and "isabelle console" ML process;
|
file |
diff |
annotate
|
Sun, 18 Dec 2016 15:41:23 +0100 |
wenzelm |
expose stderr, e.g. Multithreading.tracing;
|
file |
diff |
annotate
|
Sat, 08 Oct 2016 21:31:56 +0200 |
wenzelm |
tuned;
|
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
|
Wed, 16 Mar 2016 22:06:05 +0100 |
wenzelm |
eliminated without magic name;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 21:45:04 +0100 |
wenzelm |
always build with full results;
|
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 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
|
Wed, 09 Mar 2016 20:44:02 +0100 |
wenzelm |
clarified interactive mode, which is relevant for ML prompts;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 20:02:46 +0100 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 19:29:56 +0100 |
wenzelm |
ignore execeptions that usually occur due to shutdown;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 18:15:16 +0100 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|