# HG changeset patch
# User wenzelm
# Date 1601726760 -7200
# Node ID d3069e7e1175c202dfb5e6cd835686df4fad2bf4
# Parent  ed99d0f9b536185fee880e483d99e2e6ba96b92f
proper usage;

diff -r ed99d0f9b536 -r d3069e7e1175 src/Pure/Admin/build_e.scala
--- 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