# HG changeset patch
# User wenzelm
# Date 1699733865 -3600
# Node ID cd350dcd912acc07bfc258d7fa6c6ba1c13f78e5
# Parent  2d1275c7db99b44dba0c84e1ffa4253ab4a2857e
tuned comments;

diff -r 2d1275c7db99 -r cd350dcd912a src/Pure/System/registry.scala
--- a/src/Pure/System/registry.scala	Sat Nov 11 21:08:21 2023 +0100
+++ b/src/Pure/System/registry.scala	Sat Nov 11 21:17:45 2023 +0100
@@ -8,11 +8,16 @@
 
 
 object Registry {
+  /* registry files */
+
   def files(): List[Path] =
     Path.split_permissive_files(Isabelle_System.getenv("ISABELLE_REGISTRY"))
 
   lazy val global: Registry = new Registry(TOML.parse_files(files()))
 
+
+  /* interpreted entries */
+
   def err(msg: String, name: String): Nothing =
     error(msg + " for registry entry " + quote(name))
 
@@ -32,6 +37,9 @@
       }
   }
 
+
+  /* build cluster resources */
+
   object Host extends Table[List[Options.Spec]]("host") {
     def options_spec(a: TOML.Key, b: TOML.T): Option[Options.Spec] =
       TOML.Scalar.unapply(b).map(Options.Spec.eq(a, _))