| changeset 60584 | 6ac3172985d4 |
| parent 46241 | 1a0b8f529b96 |
| child 61029 | b09461b3bc05 |
--- 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 = (