changeset 72396 | 63e83aaec7a8 |
parent 72395 | 5fac6c50e6d5 |
child 72405 | c8e8e3e3d929 |
--- a/src/Pure/Admin/build_e.scala Wed Oct 07 21:33:07 2020 +0200 +++ b/src/Pure/Admin/build_e.scala Thu Oct 08 10:33:38 2020 +0200 @@ -152,7 +152,7 @@ -R URL URL for runepar.pl by Josef Urban (default: """ + default_runepar_url + """) -U URL E prover download URL - (default: \"\"\" + default_download_url + \"\"\") + (default: """" + default_download_url + """") -V VERSION E prover version (default: """ + default_version + """) -v verbose