src/Pure/System/registry.scala

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/System/registry.scala	Sat Nov 11 13:31:14 2023 +0100
@@ -0,0 +1,17 @@
+/*  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)
\ No newline at end of file