Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_csdp.scala
changeset 72425 d0937d55eb90
parent 72424 10c07d224035
child 72428 b7351ffe0dbc 
--- a/src/Pure/Admin/build_csdp.scala	Sat Oct 10 21:04:49 2020 +0200
+++ b/src/Pure/Admin/build_csdp.scala	Sat Oct 10 21:12:20 2020 +0200
@@ -193,7 +193,7 @@
 
   Options are:
     -D DIR       target directory (default ".")
-    -M DIR       msys/mingw root directory (for Windows)
+    -M DIR       msys/mingw root specification for Windows
     -U URL       download URL
                  (default: """" + default_download_url + """")
     -v           verbose
isabelle