| changeset 80225 | d9ff4296e3b7 |
| parent 80219 | 840ca997deac |
| 80224:db92e0b6a11a | 80225:d9ff4296e3b7 |
|---|---|
4 Isabelle system components. |
4 Isabelle system components. |
5 */ |
5 */ |
6 |
6 |
7 package isabelle |
7 package isabelle |
8 |
8 |
9 |
|
10 import java.io.{File => JFile} |
|
11 |
9 |
12 import scala.jdk.CollectionConverters._ |
10 import scala.jdk.CollectionConverters._ |
13 |
11 |
14 |
12 |
15 object Components { |
13 object Components { |