tuned message;
authorwenzelm
Thu, 07 Oct 2021 13:04:15 +0200
changeset 74480 d8015e659e15
parent 74479 bf34175e64dc
child 74481 9333a6ee57ba
tuned message;
src/Pure/Admin/build_vampire.scala
--- a/src/Pure/Admin/build_vampire.scala	Wed Oct 06 23:37:33 2021 +0200
+++ b/src/Pure/Admin/build_vampire.scala	Thu Oct 07 13:04:15 2021 +0200
@@ -127,8 +127,8 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_vampire", "build prover component from repository", Scala_Project.here,
-    args =>
+    Isabelle_Tool("build_vampire", "build prover component from official download",
+    Scala_Project.here, args =>
     {
       var target_dir = Path.current
       var download_url = default_download_url