# HG changeset patch
# User wenzelm
# Date 1602237695 -7200
# Node ID 2daa5f549687c9f98225b12ce85c54d8bc9da830
# Parent  5b15a9f854aacc6e05f832960912361e47befd0f
misc tuning;

diff -r 5b15a9f854aa -r 2daa5f549687 src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Fri Oct 09 11:44:27 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Fri Oct 09 12:01:35 2020 +0200
@@ -12,9 +12,7 @@
   /* 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,
@@ -23,7 +21,7 @@
     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 */
 
@@ -110,7 +108,7 @@
   /* 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
@@ -128,7 +126,7 @@
     -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),