| Mon, 07 Oct 2013 12:28:19 +0200 | wenzelm | clarified remove_overlay: always flush in order to make sure that apply_query can make a fresh start with the same arguments (see also 6e69f9ca8f1c) -- NB: print functions are idempotent; | file | diff | annotate |
| Wed, 25 Sep 2013 11:12:59 +0200 | wenzelm | explicit Status.REMOVED, which is required e.g. for sledgehammer to retrieve command of sendback exec_id (in contrast to find_theorems, see c2da0d3b974d); | file | diff | annotate |
| Tue, 24 Sep 2013 16:35:01 +0200 | wenzelm | skip ignored commands, similar to former proper_command_at (see d68ea01d5084) -- relevant to Output, Query_Operation etc.; | file | diff | annotate |
| Tue, 24 Sep 2013 14:09:39 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 13 Aug 2013 11:57:42 +0200 | wenzelm | more cleanup; | file | diff | annotate |
| Mon, 12 Aug 2013 17:17:49 +0200 | wenzelm | moved generic module to its proper place; | file | diff | annotate | base |