--- a/NEWS Thu Aug 27 19:55:43 2015 +0200
+++ b/NEWS Thu Aug 27 20:10:40 2015 +0200
@@ -192,7 +192,6 @@
- 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 Thu Aug 27 19:55:43 2015 +0200
+++ b/src/HOL/Tools/ATP/scripts/remote_atp Thu Aug 27 20:10:40 2015 +0200
@@ -12,7 +12,7 @@
use LWP;
my $SystemOnTPTPFormReplyURL =
- "http://pages.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply";
+ "http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTPFormReply";
# default parameters
my %URLParameters = (