--- a/src/Pure/System/registry.scala Sat Nov 11 21:17:45 2023 +0100
+++ b/src/Pure/System/registry.scala Sat Nov 11 21:25:20 2023 +0100
@@ -10,10 +10,12 @@
object Registry {
/* registry files */
- def files(): List[Path] =
+ def load(files: Iterable[Path]): Registry = new Registry(TOML.parse_files(files))
+
+ def global_files(): List[Path] =
Path.split_permissive_files(Isabelle_System.getenv("ISABELLE_REGISTRY"))
- lazy val global: Registry = new Registry(TOML.parse_files(files()))
+ lazy val global: Registry = load(global_files())
/* interpreted entries */