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 |