| Wed, 10 Aug 2011 15:17:24 +0200 | wenzelm | more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning; | file | diff | annotate |
| Mon, 30 May 2011 17:00:38 +0200 | blanchet | better merging of similar outputs | file | diff | annotate |
| Fri, 27 May 2011 10:30:08 +0200 | blanchet | use helpers and tweak Quickcheck's priority to it comes second (to give Solve Direct slightly more time before another prover runs) | file | diff | annotate |
| Fri, 27 May 2011 10:30:07 +0200 | blanchet | merge timeout messages from several ATPs into one message to avoid clutter | file | diff | annotate |
| Tue, 07 Dec 2010 09:58:56 +0100 | blanchet | load "try" after "Metis" and move "Async_Manager" back to Sledgehammer | file | diff | annotate | base |