Tue, 14 Oct 2008 15:45:45 +0200 | wenzelm | tuned; | file | diff | annotate |
Mon, 13 Oct 2008 14:04:28 +0200 | wenzelm | ** Update from Fabian ** | file | diff | annotate |
Fri, 03 Oct 2008 21:31:27 +0200 | wenzelm | tuned quotes; | file | diff | annotate |
Fri, 03 Oct 2008 19:35:18 +0200 | wenzelm | operate on Proof.state, not Toplevel.state; | file | diff | annotate |
Fri, 03 Oct 2008 17:07:41 +0200 | wenzelm | simplified thread creation via SimpleThread; | file | diff | annotate |
Fri, 03 Oct 2008 16:37:09 +0200 | wenzelm | version of sledgehammer using threads instead of processes, misc cleanup; | file | diff | annotate |