Tue, 14 Oct 2008 15:16:11 +0200 | wenzelm | renamed kill_all to kill, in conformance with atp_kill command; | file | diff | annotate |
Tue, 14 Oct 2008 13:01:58 +0200 | wenzelm | info: back to plain printing; | file | diff | annotate |
Mon, 13 Oct 2008 14:04:28 +0200 | wenzelm | ** Update from Fabian ** | file | diff | annotate |
Thu, 09 Oct 2008 20:53:10 +0200 | wenzelm | SimpleThread.interrupt; | file | diff | annotate |
Fri, 03 Oct 2008 20:10:44 +0200 | wenzelm | do not handle Error (which matches arbitrary exceptions!), but ERROR _; | file | diff | annotate |
Fri, 03 Oct 2008 19:35:17 +0200 | wenzelm | misc simplifcation and tuning; | file | diff | annotate |
Fri, 03 Oct 2008 17:07:39 +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 |