Thu, 27 Aug 2020 13:06:58 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Thu, 27 Aug 2020 12:34:10 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
Sat, 15 Aug 2020 13:36:42 +0200 |
wenzelm |
prefer formal name;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Sat, 01 Apr 2017 19:17:15 +0200 |
wenzelm |
clarified YXML vs. symbol encoding: operate on whole message;
|
file |
diff |
annotate
|
Tue, 14 Mar 2017 00:13:38 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 14 Mar 2017 00:09:15 +0100 |
wenzelm |
misc tuning and simplification;
|
file |
diff |
annotate
|
Mon, 13 Mar 2017 20:33:42 +0100 |
wenzelm |
proper local debugger state, depending on session;
|
file |
diff |
annotate
|
Fri, 06 Nov 2015 18:15:35 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 16 Mar 2015 16:59:59 +0100 |
wenzelm |
proper headers;
|
file |
diff |
annotate
|
Wed, 14 Jan 2015 16:27:19 +0100 |
wenzelm |
clarified build_theories: proper protocol handler;
|
file |
diff |
annotate
|
Mon, 05 May 2014 15:17:07 +0200 |
wenzelm |
support print operations as asynchronous query;
|
file |
diff |
annotate
|