src/Pure/Admin/build_e.scala

 object Build_E
 {
   /* build E prover */
 
   val default_version = "2.5"
-
-  val default_download_url =
-    "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
+  val default_download_url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD"
 
   def build_e(
     version: String = default_version,
     download_url: String = default_download_url,
     verbose: Boolean = false,
     progress: Progress = new Progress,
     target_dir: Path = Path.current)
   {
-    Isabelle_System.with_tmp_dir("e")(tmp_dir =>
+    Isabelle_System.with_tmp_dir("build")(tmp_dir =>
     {
       /* component */
 
       val component_name = "e-" + version
       val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component_name))

 }
 
   /* Isabelle tool wrapper */
 
   val isabelle_tool =
-    Isabelle_Tool("build_e", "build Isabelle E prover component from official download",
+    Isabelle_Tool("build_e", "build prover component from source distribution",
     args =>
     {
       var target_dir = Path.current
       var version = default_version
       var download_url = default_download_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.
+  Build prover component from the specified source distribution.
 """,
         "D:" -> (arg => target_dir = Path.explode(arg)),
         "U:" -> (arg => download_url = arg),
         "V:" -> (arg => version = arg),
         "v" -> (_ => verbose = true))