# HG changeset patch
# User wenzelm
# Date 1705764231 -3600
# Node ID 958d7b118c7b0bee75a99aec375f443d09778317
# Parent  c67b47cd41dcf599029a6396e17ca1cb7efe08fa
clarified bootstrap;

diff -r c67b47cd41dc -r 958d7b118c7b src/Pure/ROOT.ML
--- 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";