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 |