author | wenzelm |
Sat, 11 Nov 2023 16:01:57 +0100 | |
changeset 78940 | 4cb67b3895b9 |
parent 78939 | 218929597048 |
child 78942 | 409442cb7814 |
permissions | -rw-r--r-- |
78939 | 1 |
/* Title: Pure/System/registry.scala |
2 |
Author: Makarius |
|
3 |
||
4 |
Hierarchic system configuration in TOML notation. |
|
5 |
*/ |
|
6 |
||
7 |
package isabelle |
|
8 |
||
9 |
||
10 |
object Registry { |
|
11 |
def files(): List[Path] = |
|
12 |
Path.split_permissive_files(Isabelle_System.getenv("ISABELLE_REGISTRY")) |
|
13 |
||
14 |
lazy val global: Registry = new Registry(TOML.parse_files(files())) |
|
15 |
} |
|
16 |
||
78940 | 17 |
class Registry private(val toml: TOML.Table) { |
18 |
override def toString: String = TOML.Format(toml) |
|
19 |
} |