equal
deleted
inserted
replaced
27 |
27 |
28 def get(path: Path, progress: Progress = new Progress): Unit = |
28 def get(path: Path, progress: Progress = new Progress): Unit = |
29 Isabelle_System.download_file(proper_url, path, progress = progress) |
29 Isabelle_System.download_file(proper_url, path, progress = progress) |
30 |
30 |
31 def print: String = |
31 def print: String = |
32 " * " + name + " " + version + |
32 " * " + name + " " + version + if_proper(base_version, " for Scala " + base_version) + |
33 (if (base_version.nonEmpty) " for Scala " + base_version else "") + |
|
34 ":\n " + make_url(url) |
33 ":\n " + make_url(url) |
35 } |
34 } |
36 |
35 |
37 val main_download: Download = |
36 val main_download: Download = |
38 Download("scala", "3.2.1", base_version = "", |
37 Download("scala", "3.2.1", base_version = "", |