# HG changeset patch
# User wenzelm
# Date 1602099187 -7200
# Node ID 5fac6c50e6d51974cf7eef139736f34721e2cb5b
# Parent  9302fd538ae428d302beb6fbadbf55bd3617370b
tuned signature;

diff -r 9302fd538ae4 -r 5fac6c50e6d5 src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Wed Oct 07 21:15:15 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Wed Oct 07 21:33:07 2020 +0200
@@ -138,29 +138,29 @@
     Isabelle_Tool("build_e", "build Isabelle E prover component from official download",
     args =>
     {
-      var download_url = default_download_url
       var target_dir = Path.current
       var runepar_url = default_runepar_url
       var version = default_version
+      var download_url = default_download_url
       var verbose = false
 
       val getopts = Getopts("""
 Usage: isabelle build_e [OPTIONS]
 
   Options are:
-    -E URL       E prover download URL
-                 (default: """ + default_download_url + """)
     -D DIR       target directory (default ".")
     -R URL       URL for runepar.pl by Josef Urban
                  (default: """ + default_runepar_url + """)
+    -U URL       E prover download URL
+                 (default: \"\"\" + default_download_url + \"\"\")
     -V VERSION   E prover version (default: """ + default_version + """)
     -v           verbose
 
   Build E prover component from the specified download URLs and version.
 """,
-        "E:" -> (arg => download_url = arg),
         "D:" -> (arg => target_dir = Path.explode(arg)),
         "R:" -> (arg => runepar_url = arg),
+        "U:" -> (arg => download_url = arg),
         "V:" -> (arg => version = arg),
         "v" -> (_ => verbose = true))