--- a/etc/build.props Wed Mar 27 13:23:15 2024 +0100
+++ b/etc/build.props Wed Mar 27 13:32:30 2024 +0100
@@ -45,9 +45,9 @@
src/Pure/Admin/component_spass.scala \
src/Pure/Admin/component_sqlite.scala \
src/Pure/Admin/component_stack.scala \
- src/Pure/Admin/component_windows_app.scala \
src/Pure/Admin/component_vampire.scala \
src/Pure/Admin/component_verit.scala \
+ src/Pure/Admin/component_windows_app.scala \
src/Pure/Admin/component_zipperposition.scala \
src/Pure/Admin/component_zstd.scala \
src/Pure/Admin/isabelle_cronjob.scala \
@@ -328,15 +328,15 @@
isabelle.Bibtex$File_Format \
isabelle.Build$Engine$Default \
isabelle.Build_Schedule$Build_Engine \
+ isabelle.CI_Builds \
isabelle.Document_Build$Build_Engine \
isabelle.Document_Build$LIPIcs_LuaLaTeX_Engine \
isabelle.Document_Build$LIPIcs_PDFLaTeX_Engine \
isabelle.Document_Build$LuaLaTeX_Engine \
isabelle.Document_Build$PDFLaTeX_Engine \
isabelle.Dotnet_Setup \
- isabelle.CI_Builds \
+ isabelle.GHC_Setup \
isabelle.Go_Setup \
- isabelle.GHC_Setup \
isabelle.ML_Statistics$Handler \
isabelle.OCaml_Setup \
isabelle.Print_Operation$Handler \