--- a/src/Pure/Admin/other_isabelle.scala Sat Jan 28 16:20:44 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala Sat Jan 28 16:26:58 2023 +0100
@@ -146,6 +146,8 @@
}
+ /* init */
+
def init(
other_settings: List[String] = init_components(),
fresh: Boolean = false,