| Sat, 14 Mar 2009 16:46:23 +0100 | immler | split relevance-filter and writing of problem-files; | file | diff | annotate |
| Sat, 14 Mar 2009 15:45:45 +0100 | immler | show certain errors to the user | file | diff | annotate |
| Sat, 14 Mar 2009 15:15:44 +0100 | immler | removed connection check; | file | diff | annotate |
| Wed, 04 Mar 2009 11:05:29 +0100 | blanchet | Merge. | file | diff | annotate |
| Wed, 04 Mar 2009 10:45:52 +0100 | blanchet | Merge. | file | diff | annotate |
| Thu, 26 Feb 2009 10:13:43 +0100 | immler | removed global ref dfg_format | file | diff | annotate |
| Fri, 20 Feb 2009 16:48:01 +0100 | immler | changed message | file | diff | annotate |
| 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 |