| Fri, 09 Aug 2013 15:00:29 +0200 | wenzelm | tuned GUI; | file | diff | annotate |
| Fri, 09 Aug 2013 13:51:34 +0200 | wenzelm | more abstract consume_status operation; | file | diff | annotate |
| Fri, 09 Aug 2013 12:29:15 +0200 | wenzelm | more active "provers" field, which increases chances that its history is stored; | file | diff | annotate |
| Fri, 09 Aug 2013 11:18:36 +0200 | wenzelm | cancel_query via direct access to the exec_id of the running query process; | file | diff | annotate |
| Thu, 08 Aug 2013 14:24:21 +0200 | wenzelm | dockable window for Sledgehammer, based on asynchronous/parallel query operation; | file | diff | annotate |