--- a/src/Pure/Admin/build_history.scala Mon Dec 03 20:34:19 2018 +0100
+++ b/src/Pure/Admin/build_history.scala Mon Dec 03 21:32:08 2018 +0100
@@ -186,9 +186,7 @@
/* init settings */
val component_settings =
- other_isabelle.init_components(
- base = components_base getOrElse other_isabelle.default_components_base,
- catalogs = List("main", "optional"))
+ other_isabelle.init_components(base = components_base, catalogs = List("main", "optional"))
other_isabelle.init_settings(component_settings ::: init_settings)
other_isabelle.resolve_components(verbose)
val ml_platform =