src/Pure/ROOT.ML

 (*theory specifications*)
 use "Isar/local_theory.ML";
 use "Thy/thy_header.ML";
 use "PIDE/command_span.ML";
 use "Thy/thy_syntax.ML";
+use "Thy/markdown.ML";
 use "Thy/html.ML";
 use "Thy/latex.ML";
 
 (*ML with context and antiquotations*)
 use "ML/ml_context.ML";