| 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 |