| Thu, 30 Aug 2018 18:40:53 +0200 |
blanchet |
updated URL to remote TPTP, following heads-up from Geoff Sutcliffe
|
file |
diff |
annotate
|
| Thu, 27 Aug 2015 20:10:40 +0200 |
blanchet |
reverted 6ac3172985d4 -- the old URL has been restored
|
file |
diff |
annotate
|
| Fri, 26 Jun 2015 11:08:33 +0200 |
blanchet |
updated SystemOnTPTP URL
|
file |
diff |
annotate
|
| Tue, 17 Jan 2012 18:25:36 +0100 |
blanchet |
allow use of proxy for remote SMT solver invocations, just like in the "remote_atp" script
|
file |
diff |
annotate
|
| Thu, 23 Jun 2011 11:19:41 +0200 |
blanchet |
give slightly more time to server to respond, to avoid leaving too much garbage on Geoff's servers
|
file |
diff |
annotate
|
| Tue, 24 May 2011 11:55:59 +0200 |
blanchet |
added quietness flag
|
file |
diff |
annotate
|
| Mon, 06 Sep 2010 11:28:06 +0200 |
blanchet |
make remote ATP invocation work for those people who need to go through a proxy;
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 19:26:42 +0200 |
blanchet |
better error and minimizer output
|
file |
diff |
annotate
|
| Thu, 29 Jul 2010 09:41:49 +0200 |
blanchet |
improved ATP error handling some more
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 23:05:35 +0200 |
blanchet |
fiddled with usage text
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 23:01:27 +0200 |
blanchet |
handle Perl and "libwww-perl" failures more gracefully, giving the user some clues about what goes on
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 19:01:34 +0200 |
blanchet |
rename directory
|
file |
diff |
annotate
| base
|