| Sun, 25 Sep 2011 13:48:59 +0200 |
wenzelm |
more uniform defaults;
|
file |
diff |
annotate
|
| Fri, 23 Sep 2011 13:44:31 +0200 |
wenzelm |
explicit option for socket vs. fifo communication;
|
file |
diff |
annotate
|
| Wed, 21 Sep 2011 20:35:50 +0200 |
wenzelm |
more abstract wrapping of fifos as System_Channel;
|
file |
diff |
annotate
|
| Wed, 07 Sep 2011 11:00:39 +0200 |
wenzelm |
added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
|
file |
diff |
annotate
|
| Tue, 06 Sep 2011 11:18:19 +0200 |
wenzelm |
buffer prover messages to prevent overloading of session_actor input channel -- which is critical due to synchronous messages wrt. GUI thread;
|
file |
diff |
annotate
|
| Tue, 06 Sep 2011 10:27:04 +0200 |
wenzelm |
more abstract receiver interface;
|
file |
diff |
annotate
|
| Sun, 04 Sep 2011 19:12:06 +0200 |
wenzelm |
simplified signatures;
|
file |
diff |
annotate
|
| Sun, 04 Sep 2011 14:29:15 +0200 |
wenzelm |
pass raw messages through xml_cache actor, which is important to retain ordering of results (e.g. read_command reports before assign, cf. 383c9d758a56);
|
file |
diff |
annotate
|
| Tue, 12 Jul 2011 19:36:46 +0200 |
wenzelm |
more uniform Properties in ML and Scala;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 16:48:02 +0200 |
wenzelm |
JVM method invocation service via Scala layer;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 15:56:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 11:13:33 +0200 |
wenzelm |
some support for raw messages, which bypass standard Symbol/YXML decoding;
|
file |
diff |
annotate
|
| Mon, 11 Jul 2011 10:27:50 +0200 |
wenzelm |
tuned XML.Cache parameters;
|
file |
diff |
annotate
|
| Sat, 09 Jul 2011 21:53:27 +0200 |
wenzelm |
echo prover input via raw_messages, for improved protocol tracing;
|
file |
diff |
annotate
|
| Thu, 07 Jul 2011 13:48:30 +0200 |
wenzelm |
simplified Symbol based on lazy Symbol.Interpretation -- reduced odd "functorial style";
|
file |
diff |
annotate
|