# HG changeset patch
# User wenzelm
# Date 1602239284 -7200
# Node ID f98f764239a4bda6a7b9cb16cfe2659b7a28d57b
# Parent  da577e2d42b36318a98c53bc645b2a9bd734979d
tuned;

diff -r da577e2d42b3 -r f98f764239a4 src/Pure/Admin/build_e.scala
--- a/src/Pure/Admin/build_e.scala	Fri Oct 09 12:27:39 2020 +0200
+++ b/src/Pure/Admin/build_e.scala	Fri Oct 09 12:28:04 2020 +0200
@@ -38,12 +38,12 @@
 
       /* download source */
 
-      val e_url = download_url + "/V_" + version + "/E.tgz"
-      val e_path = tmp_dir + Path.explode("E.tgz")
-      Isabelle_System.download(e_url, e_path, progress = progress)
+      val archive_url = download_url + "/V_" + version + "/E.tgz"
+      val archive_path = tmp_dir + Path.explode("E.tgz")
+      Isabelle_System.download(archive_url, archive_path, progress = progress)
 
-      Isabelle_System.bash("tar xzf " + e_path, cwd = tmp_dir.file).check
-      Isabelle_System.bash("tar xzf " + e_path + " && mv E src", cwd = component_dir.file).check
+      Isabelle_System.bash("tar xzf " + archive_path, cwd = tmp_dir.file).check
+      Isabelle_System.bash("tar xzf " + archive_path + " && mv E src", cwd = component_dir.file).check
 
 
       /* build */
@@ -90,7 +90,7 @@
       /* README */
 
       File.write(component_dir + Path.basic("README"),
-        "This is E prover " + version + " from\n" + e_url + """
+        "This is E prover " + version + " from\n" + archive_url + """
 
 The distribution has been built like this: