# HG changeset patch
# User wenzelm
# Date 1699734320 -3600
# Node ID c8c40e11c907387eb5dae8045e234525253d5f29
# Parent  cd350dcd912acc07bfc258d7fa6c6ba1c13f78e5
clarified signature: more operations;

diff -r cd350dcd912a -r c8c40e11c907 src/Pure/System/registry.scala
--- 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 */