Sat, 17 Aug 2013 22:15:45 +0200 | wenzelm | some protocol to determine provers according to ML; | file | diff | annotate |
Sat, 17 Aug 2013 12:21:25 +0200 | wenzelm | eliminated pointless subgoal argument; | file | diff | annotate |
Mon, 12 Aug 2013 11:39:29 +0200 | wenzelm | tuned signature -- more abstract PIDE editor operations; | file | diff | annotate |
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 |