| Thu, 21 Apr 2022 10:03:38 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 01 Apr 2022 17:06:10 +0200 | wenzelm | clarified formatting, for the sake of scala3; | file | diff | annotate |
| 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 |