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