--- a/NEWS Fri Jun 26 00:14:10 2015 +0200
+++ b/NEWS Fri Jun 26 11:08:33 2015 +0200
@@ -126,6 +126,7 @@
- Proof reconstruction has been improved, to minimize the incidence of
cases where Sledgehammer gives a proof that does not work.
- Auto Sledgehammer now minimizes and preplays the results.
+ - The URL for remote provers on SystemOnTPTP has been updated.
* Nitpick:
- Removed "check_potential" and "check_genuine" options.
--- a/src/HOL/Tools/ATP/scripts/remote_atp Fri Jun 26 00:14:10 2015 +0200
+++ b/src/HOL/Tools/ATP/scripts/remote_atp Fri Jun 26 11:08:33 2015 +0200
@@ -12,7 +12,7 @@
use LWP;
my $SystemOnTPTPFormReplyURL =
- "http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply";
+ "http://pages.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply";
# default parameters
my %URLParameters = (