--- a/src/Pure/ROOT.ML Sun Dec 24 12:48:43 2017 +0100
+++ b/src/Pure/ROOT.ML Sun Dec 24 13:07:05 2017 +0100
@@ -283,6 +283,7 @@
ML_file "ML/ml_antiquotations.ML";
ML_file "Thy/thy_output.ML";
ML_file "Thy/document_antiquotations.ML";
+ML_file "Thy/bibtex.ML";
ML_file "General/graph_display.ML";
ML_file "pure_syn.ML";
ML_file "PIDE/command.ML";
@@ -319,7 +320,6 @@
ML_file "Tools/build.ML";
ML_file "Tools/named_thms.ML";
ML_file "Tools/print_operation.ML";
-ML_file "Tools/bibtex.ML";
ML_file "Tools/rail.ML";
ML_file "Tools/rule_insts.ML";
ML_file "Tools/thm_deps.ML";