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