# HG changeset patch
# User wenzelm
# Date 1633604655 -7200
# Node ID d8015e659e15ce65287f874d0e48c1ba729e4888
# Parent  bf34175e64dcea73bc3ad5a0ca41728eaba11459
tuned message;

diff -r bf34175e64dc -r d8015e659e15 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