changeset 71881 | 71de0a253842 |
parent 71849 | 265bbad3d6af |
child 71888 | feb37a43ace6 |
--- a/src/Pure/ROOT.ML Sun May 24 14:47:28 2020 +0200 +++ b/src/Pure/ROOT.ML Sun May 24 19:45:42 2020 +0200 @@ -328,6 +328,7 @@ ML_file "System/message_channel.ML"; ML_file "System/isabelle_process.ML"; ML_file "System/scala.ML"; +ML_file "System/scala_check.ML"; ML_file "Thy/bibtex.ML"; ML_file "PIDE/protocol.ML"; ML_file "General/output_primitives_virtual.ML";