--- a/src/Pure/ROOT.ML Sat Jan 20 16:09:35 2024 +0100
+++ b/src/Pure/ROOT.ML Sat Jan 20 16:23:51 2024 +0100
@@ -345,7 +345,7 @@
ML_file "System/isabelle_process.ML";
ML_file "System/scala_compiler.ML";
ML_file "System/isabelle_tool.ML";
-ML_file "General/bibtex.ML";
+ML_file "Build/build.ML";
ML_file "PIDE/protocol.ML";
ML_file "General/output_primitives_virtual.ML";
@@ -353,10 +353,10 @@
subsection "Miscellaneous tools and packages for Pure Isabelle";
ML_file "General/base64.ML";
+ML_file "General/bibtex.ML";
ML_file "General/xz.ML";
ML_file "General/zstd.ML";
ML_file "Tools/prismjs.ML";
-ML_file "Build/build.ML";
ML_file "Tools/named_thms.ML";
ML_file "Tools/print_operation.ML";
ML_file "Tools/rail.ML";