| Sat, 04 Apr 2009 20:22:39 +0200 | immler | reverted to explicitly check the presence of a refutation | 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 |
| Tue, 20 Jan 2009 16:05:57 +0100 | immler | modified remote script; | file | diff | annotate |
| Wed, 14 Jan 2009 20:19:47 +0100 | immler | removed useless | file | diff | annotate |
| Mon, 12 Jan 2009 16:16:05 +0100 | immler | simplified usage of remote-script; added compatible remote-atps | file | diff | annotate |
| Mon, 13 Oct 2008 14:04:53 +0200 | wenzelm | ** Update from Fabian ** | file | diff | annotate |