diff -r c7a98469c0e7 -r c67b47cd41dc src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sat Jan 20 15:07:41 2024 +0100
+++ b/src/Pure/ROOT.ML	Sat Jan 20 16:09:35 2024 +0100
@@ -241,7 +241,7 @@
 ML_file "PIDE/command_span.ML";
 ML_file "Thy/thy_element.ML";
 ML_file "Thy/markdown.ML";
-ML_file "Thy/latex.ML";
+ML_file "General/latex.ML";
 
 (*ML with context and antiquotations*)
 ML_file "ML/ml_context.ML";
@@ -345,7 +345,7 @@
 ML_file "System/isabelle_process.ML";
 ML_file "System/scala_compiler.ML";
 ML_file "System/isabelle_tool.ML";
-ML_file "Thy/bibtex.ML";
+ML_file "General/bibtex.ML";
 ML_file "PIDE/protocol.ML";
 ML_file "General/output_primitives_virtual.ML";