Sat, 15 Dec 2007 13:08:30 +0100 | wenzelm | outputWrapped: more robust initial synchronization; | file | diff | annotate |
Sat, 15 Dec 2007 12:15:28 +0100 | wenzelm | Result: added STDOUT, SIGNAL; | file | diff | annotate |
Sat, 15 Dec 2007 00:28:01 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
Sat, 15 Dec 2007 00:24:02 +0100 | wenzelm | proper termination of stdout thread; | file | diff | annotate |
Fri, 14 Dec 2007 23:00:52 +0100 | wenzelm | added exit thread; | file | diff | annotate |
Sat, 08 Dec 2007 22:07:22 +0100 | wenzelm | renamed IsabelleResult to IsabelleProcess.Result; | file | diff | annotate |
Sat, 08 Dec 2007 21:48:03 +0100 | wenzelm | Isabelle process wrapper for JVM platform (tentative implementation in | file | diff | annotate |