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.
tuned message
authorblanchet
Thu, 28 Aug 2014 16:58:27 +0200
changeset 58080 42e998248ddc
parent 58079 df0d6ce8fb66
child 58081 aa239fee063a
tuned message
src/HOL/Tools/ATP/atp_proof.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/ATP/atp_proof.ML	Thu Aug 28 16:58:27 2014 +0200
+++ b/src/HOL/Tools/ATP/atp_proof.ML	Thu Aug 28 16:58:27 2014 +0200
@@ -193,7 +193,7 @@
     ". This could be due to inconsistent axioms (including \"sorry\"s) or to \
     \a bug in Sledgehammer. If the problem persists, please contact the \
     \Isabelle developers."
-  | string_of_atp_failure CantConnect = "Cannot connect to remote server."
+  | string_of_atp_failure CantConnect = "Cannot connect to server."
   | string_of_atp_failure TimedOut = "Timed out."
   | string_of_atp_failure Inappropriate =
     "The generated problem lies outside the prover's scope."
isabelle