| changeset 61029 | b09461b3bc05 |
| parent 60584 | 6ac3172985d4 |
| child 68848 | 8825efd1c2cf |
--- 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 = (