src/Pure/Admin/other_isabelle.scala

--- a/src/Pure/Admin/other_isabelle.scala	Mon Jan 23 15:43:09 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Mon Jan 23 16:15:45 2023 +0100
@@ -68,7 +68,7 @@
   def init_components(
     component_repository: String = Components.default_component_repository,
     components_base: Path = Components.default_components_base,
-    catalogs: List[String] = Nil,
+    catalogs: List[String] = Components.default_catalogs,
     components: List[String] = Nil
   ): List[String] = {
     val dir = Components.admin(isabelle_home)