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 messages;
authorwenzelm
Sun, 11 Oct 2020 12:14:58 +0200
changeset 72437 efc5ae4b4ac8
parent 72436 d62d84634b06
child 72438 90c6e9a83c1e
tuned messages;
src/Pure/Admin/build_csdp.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_csdp.scala	Sat Oct 10 18:51:40 2020 +0000
+++ b/src/Pure/Admin/build_csdp.scala	Sun Oct 11 12:14:58 2020 +0200
@@ -1,7 +1,7 @@
 /*  Title:      Pure/Admin/build_csdp.scala
     Author:     Makarius
 
-Build Isabelle CSDP component from official downloads.
+Build Isabelle CSDP component from official download.
 */
 
 package isabelle
@@ -180,7 +180,7 @@
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_csdp", "build prover component from official downloads",
+    Isabelle_Tool("build_csdp", "build prover component from official download",
     args =>
     {
       var target_dir = Path.current
@@ -198,7 +198,7 @@
                  (default: """" + default_download_url + """")
     -v           verbose
 
-  Build prover component from official downloads.
+  Build prover component from official download.
 """,
         "D:" -> (arg => target_dir = Path.explode(arg)),
         "M:" -> (arg => mingw = MinGW(Path.explode(arg))),
isabelle