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