Fri, 20 Feb 2009 11:04:18 +0100 | immler | detailed information on atp-failure via Output.debug | file | diff | annotate |
Wed, 21 Jan 2009 14:57:33 +0100 | immler | tuned; | file | diff | annotate |
Tue, 20 Jan 2009 20:58:08 +0100 | immler | pass timeout to prover; | file | diff | annotate |
Tue, 20 Jan 2009 16:05:57 +0100 | immler | modified remote script; | file | diff | annotate |
Mon, 12 Jan 2009 16:16:05 +0100 | immler | simplified usage of remote-script; added compatible remote-atps | file | diff | annotate |
Tue, 14 Oct 2008 20:10:45 +0200 | wenzelm | tuned interfaces -- plain prover function, without thread; | file | diff | annotate |
Tue, 14 Oct 2008 16:01:36 +0200 | wenzelm | renamed AtpThread to AtpWrapper; | file | diff | annotate |