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.
proper usage;
authorwenzelm
Mon, 28 Jun 2021 18:10:06 +0200
changeset 73894 d7ac039421ec
parent 73893 eb7655fcb090
child 73895 b709faa96586
proper usage;
src/Pure/Admin/build_release.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_release.scala	Mon Jun 28 14:43:33 2021 +0200
+++ b/src/Pure/Admin/build_release.scala	Mon Jun 28 18:10:06 2021 +0200
@@ -861,7 +861,7 @@
       var rev = ""
 
       val getopts = Getopts("""
-Usage: Admin/build_release [OPTIONS] BASE_DIR
+Usage: Admin/build_release [OPTIONS]
 
   Options are:
     -A REV       corresponding AFP changeset id
isabelle