Wed, 09 Apr 2008 21:49:33 +0200 |
wenzelm |
replaced ML by ML_val;
|
file |
diff |
annotate
|
Sun, 06 Jan 2008 16:36:29 +0100 |
wenzelm |
added interface for command-line option;
|
file |
diff |
annotate
|
Sat, 05 Jan 2008 21:37:18 +0100 |
wenzelm |
added INIT message, with pid and session property;
|
file |
diff |
annotate
|
Thu, 03 Jan 2008 20:29:00 +0100 |
wenzelm |
added class Property: basic Isabelle properties;
|
file |
diff |
annotate
|
Thu, 03 Jan 2008 17:50:41 +0100 |
wenzelm |
Result: added props field;
|
file |
diff |
annotate
|
Wed, 02 Jan 2008 23:00:49 +0100 |
wenzelm |
added method encodeProperties;
|
file |
diff |
annotate
|
Sun, 30 Dec 2007 23:07:27 +0100 |
wenzelm |
added PROMPT message;
|
file |
diff |
annotate
|
Sun, 30 Dec 2007 22:10:20 +0100 |
wenzelm |
added isSystem;
|
file |
diff |
annotate
|
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
|