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
Sat, 03 Oct 2020 14:06:00 +0200
changeset 72367 d3069e7e1175
parent 72366 ed99d0f9b536
child 72368 b86d1e754e78
proper usage;
src/Pure/Admin/build_e.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/build_e.scala	Sat Oct 03 13:59:56 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Sat Oct 03 14:06:00 2020 +0200
@@ -154,7 +154,7 @@
       var verbose = false
 
       val getopts = Getopts("""
-Usage: isabelle build_e [OPTIONS] DOWNLOAD
+Usage: isabelle build_e [OPTIONS]
 
   Options are:
     -E URL       E prover download URL
isabelle