--- a/src/Pure/Admin/build_e.scala Fri Oct 09 21:40:07 2020 +0200
+++ b/src/Pure/Admin/build_e.scala Sat Oct 10 13:32:27 2020 +0200
@@ -121,9 +121,9 @@
Options are:
-D DIR target directory (default ".")
- -U URL E prover download URL
+ -U URL download URL
(default: """" + default_download_url + """")
- -V VERSION E prover version (default: """ + default_version + """)
+ -V VERSION version (default: """ + default_version + """)
-v verbose
Build prover component from the specified source distribution.