diff -r a8f002720ebb -r f40c36ab154d src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Sat Jan 28 20:21:55 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Sat Jan 28 20:50:45 2023 +0100
@@ -75,7 +75,7 @@
   /* components */
 
   def init_components(
-    components_base: String = Components.standard_components_base,
+    components_base: String = Components.dynamic_components_base,
     catalogs: List[String] = Components.default_catalogs,
     components: List[String] = Nil
   ): List[String] = {
@@ -91,7 +91,7 @@
     echo: Boolean = false,
     clean_platforms: Option[List[Platform.Family.Value]] = None,
     clean_archives: Boolean = false,
-    component_repository: String = Components.default_component_repository
+    component_repository: String = Components.static_component_repository
   ): Unit = {
     val missing = Path.split(getenv("ISABELLE_COMPONENTS_MISSING"))
     for (path <- missing) {
@@ -154,7 +154,7 @@
     echo: Boolean = false,
     clean_platforms: Option[List[Platform.Family.Value]] = None,
     clean_archives: Boolean = false,
-    component_repository: String = Components.default_component_repository
+    component_repository: String = Components.static_component_repository
   ): Unit = {
     init_settings(other_settings)
     resolve_components(