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/isabelle_cronjob.scala
changeset 83435 0f9bae334ac6
parent 82319 b4b385189676 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 01 00:04:57 2025 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Sat Nov 01 13:56:39 2025 +0100
@@ -110,7 +110,7 @@
             val context = Build_Release.Release_Context(target_dir, progress = progress)
             Build_Release.build_release_archive(context, rev)
             Build_Release.build_release(logger.options, context, afp_rev = afp_rev,
-              build_sessions = List(Isabelle_System.getenv("ISABELLE_LOGIC")),
+              build_sessions = List(Isabelle_System.default_logic()),
               website = Some(website_dir))
           }
         )
isabelle