Mon, 29 Dec 2008 16:45:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 29 Dec 2008 15:23:56 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 29 Dec 2008 15:16:01 +0100 |
wenzelm |
explicit EventBus for results;
|
file |
diff |
annotate
|
Sat, 27 Dec 2008 16:33:50 +0100 |
wenzelm |
refined execute, which replaces exec/exec2;
|
file |
diff |
annotate
|
Sat, 27 Dec 2008 14:57:30 +0100 |
wenzelm |
proper class IsabelleSystem -- no longer static;
|
file |
diff |
annotate
|
Fri, 19 Dec 2008 20:37:29 +0100 |
wenzelm |
removed Ids;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 16:05:15 +0200 |
wenzelm |
ISABELLE_PROCESS commandline;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 14:43:40 +0200 |
wenzelm |
eliminated prompt messages;
|
file |
diff |
annotate
|
Sat, 04 Oct 2008 14:29:45 +0200 |
wenzelm |
added isabelle_tool version as basic integrity check of platform/distribution;
|
file |
diff |
annotate
|
Wed, 24 Sep 2008 19:33:14 +0200 |
wenzelm |
protocol change: remapped message codes to make room for nested system messages (e.g. for protocol proxy);
|
file |
diff |
annotate
|
Fri, 19 Sep 2008 21:00:50 +0200 |
wenzelm |
output_sync is now public;
|
file |
diff |
annotate
|
Fri, 29 Aug 2008 20:36:08 +0200 |
wenzelm |
IsabelleSystem.mk_fifo, IsabelleSystem.rm_fifo;
|
file |
diff |
annotate
|
Thu, 28 Aug 2008 22:26:22 +0200 |
wenzelm |
moved charset to isabelle_system.scala;
|
file |
diff |
annotate
|
Thu, 28 Aug 2008 19:29:58 +0200 |
wenzelm |
join stdout/stderr, eliminated Kind.STDERR;
|
file |
diff |
annotate
|
Mon, 25 Aug 2008 23:27:56 +0200 |
wenzelm |
moved new Symbol.Interpretation into plugin;
|
file |
diff |
annotate
|
Mon, 25 Aug 2008 20:01:17 +0200 |
wenzelm |
simplified exceptions: use plain error function / RuntimeException;
|
file |
diff |
annotate
|
Mon, 25 Aug 2008 16:52:11 +0200 |
wenzelm |
added try_result;
|
file |
diff |
annotate
|
Sun, 24 Aug 2008 21:15:46 +0200 |
wenzelm |
Kind: added is_control;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 23:07:44 +0200 |
wenzelm |
moved class Result into static object, removed dynamic tree method;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 19:42:17 +0200 |
wenzelm |
YXML.parse_failsafe;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 17:55:26 +0200 |
wenzelm |
use java.util.concurrent.LinkedBlockingQueue, which blocks as required;
|
file |
diff |
annotate
|
Sat, 23 Aug 2008 17:22:51 +0200 |
wenzelm |
Isabelle process management -- always reactive due to multi-threaded I/O.
|
file |
diff |
annotate
|