Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_release.scala
changeset 77055 f56800b8b085
parent 77046 671ca79e2644
child 77067 9ca1e7fc2663 
--- a/src/Pure/Admin/build_release.scala	Mon Jan 23 15:43:09 2023 +0100
+++ b/src/Pure/Admin/build_release.scala	Mon Jan 23 16:15:45 2023 +0100
@@ -467,8 +467,7 @@
       val other_isabelle = context.other_isabelle(context.dist_dir)
 
       other_isabelle.init_settings(
-        other_isabelle.init_components(
-          components_base = context.components_base, catalogs = List("main")))
+        other_isabelle.init_components(components_base = context.components_base))
       other_isabelle.resolve_components(echo = true)
 
       try {
isabelle