equal
deleted
inserted
replaced
26 |
26 |
27 /* component name */ |
27 /* component name */ |
28 |
28 |
29 val component = "prismjs-" + version |
29 val component = "prismjs-" + version |
30 val component_dir = |
30 val component_dir = |
31 Components.Directory.create(target_dir + Path.basic(component), progress = progress) |
31 Components.Directory(target_dir + Path.basic(component)).create(progress = progress) |
32 |
32 |
33 |
33 |
34 /* download */ |
34 /* download */ |
35 |
35 |
36 Isabelle_System.with_tmp_dir("tmp") { tmp_dir => |
36 Isabelle_System.with_tmp_dir("tmp") { tmp_dir => |