# HG changeset patch
# User wenzelm
# Date 1711542750 -3600
# Node ID 64e57aafca1e57b3ac369b90e5067397429b8e48
# Parent  a03a7d4b82f8031a33095da2d5172eac47ef26bc
tuned order;

diff -r a03a7d4b82f8 -r 64e57aafca1e etc/build.props
--- 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 \