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