# HG changeset patch
# User desharna
# Date 1714395010 -7200
# Node ID ccd76abeae1b0d5cc88a47d388b9ae523211e3df
# Parent  fd5ed5e63a2970e7b540c2ac36243407cfe28feb
changed URL to SystemOnTPTP at Geoff's request

diff -r fd5ed5e63a29 -r ccd76abeae1b src/HOL/Tools/etc/options
--- a/src/HOL/Tools/etc/options	Mon Apr 29 12:22:06 2024 +0200
+++ b/src/HOL/Tools/etc/options	Mon Apr 29 14:50:10 2024 +0200
@@ -32,7 +32,7 @@
 public option sledgehammer_timeout : int = 30
   -- "provers will be interrupted after this time (in seconds)"
 
-public option SystemOnTPTP : string = "https://www.tptp.org/cgi-bin/SystemOnTPTPFormReply"
+public option SystemOnTPTP : string = "https://tptp.org/cgi-bin/SystemOnTPTPFormReply"
   -- "URL for SystemOnTPTP service"
 
 public option MaSh : string = "sml"