Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
changed URL to SystemOnTPTP at Geoff's request
authordesharna
Mon, 29 Apr 2024 14:50:10 +0200
changeset 80162 ccd76abeae1b
parent 80161 fd5ed5e63a29
child 80163 2f36a3c653d3
changed URL to SystemOnTPTP at Geoff's request
src/HOL/Tools/etc/options file | annotate | diff | comparison | revisions 
--- 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"
isabelle