author | wenzelm |
Thu, 07 Oct 2021 13:04:15 +0200 | |
changeset 74480 | d8015e659e15 |
parent 74479 | bf34175e64dc |
child 74481 | 9333a6ee57ba |
--- 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