| Sat, 29 Dec 2007 17:47:12 +0100 |
wenzelm |
tuned comments (javadoc);
|
file |
diff |
annotate
|
| Sun, 16 Dec 2007 13:09:37 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sun, 16 Dec 2007 13:05:53 +0100 |
wenzelm |
constructor: allow default logic;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2007 23:55:33 +0100 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2007 23:54:59 +0100 |
wenzelm |
compose command line according to isabelle.shell/home system properties;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2007 22:03:24 +0100 |
wenzelm |
ExitThread: deliver message before EXIT;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2007 20:10:26 +0100 |
wenzelm |
ExitThread: sleep(300) before delivering EXIT message;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2007 19:55:54 +0100 |
wenzelm |
reorganized demo;
|
file |
diff |
annotate
|
| Sat, 15 Dec 2007 17:53:33 +0100 |
wenzelm |
class Result: replaced FAILURE by SYSTEM (internal notification);
|
file |
diff |
annotate
|
| Sat, 15 Dec 2007 14:35:50 +0100 |
wenzelm |
package isabelle;
|
file |
diff |
annotate
|
| 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
|