| changeset 77035 | 28ac56e59d23 |
| parent 76548 | 0af64cc2eee9 |
| 77034:abd4a0f48e49 | 77035:28ac56e59d23 |
|---|---|
86 """) |
86 """) |
87 |
87 |
88 |
88 |
89 /* jar */ |
89 /* jar */ |
90 |
90 |
91 val jar = component_dir.path + Path.basic(download_name).ext("jar") |
91 val jar = component_dir.path + Path.basic(download_name).jar |
92 Isabelle_System.download_file(download_url, jar, progress = progress) |
92 Isabelle_System.download_file(download_url, jar, progress = progress) |
93 } |
93 } |
94 |
94 |
95 |
95 |
96 /* Isabelle tool wrapper */ |
96 /* Isabelle tool wrapper */ |