# HG changeset patch
# User blanchet
# Date 1351679001 -3600
# Node ID 42209bfa1548ca77ddb19d62332d4666f77e558b
# Parent  34d0ac1bdac6cfb78691e82276ad1813fdb7a6b4
tuned messages

diff -r 34d0ac1bdac6 -r 42209bfa1548 src/HOL/Tools/ATP/atp_systems.ML
--- a/src/HOL/Tools/ATP/atp_systems.ML	Wed Oct 31 11:23:21 2012 +0100
+++ b/src/HOL/Tools/ATP/atp_systems.ML	Wed Oct 31 11:23:21 2012 +0100
@@ -612,8 +612,8 @@
   | (NONE, syss) =>
     case syss |> filter_out (String.isPrefix "%")
               |> filter_out (curry (op =) "") of
-      [] => error ("SystemOnTPTP is not available.")
-    | [msg] => error ("SystemOnTPTP is not available: " ^ msg ^ ".")
+      [] => error ("SystemOnTPTP is currently not available.")
+    | [msg] => error ("SystemOnTPTP is currently not available: " ^ msg ^ ".")
     | syss =>
       error ("System " ^ quote name ^ " is not available at SystemOnTPTP.\n" ^
              "(Available systems: " ^ commas_quote syss ^ ".)")