Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ROOT.ML
changeset 72669 5e7916535860
parent 72651 52cb065aa916
child 72696 7af210f1f13b 
--- a/src/Pure/ROOT.ML	Fri Nov 20 14:29:21 2020 +0100
+++ b/src/Pure/ROOT.ML	Fri Nov 20 23:47:34 2020 +0100
@@ -232,7 +232,6 @@
 ML_file "PIDE/command_span.ML";
 ML_file "Thy/thy_element.ML";
 ML_file "Thy/markdown.ML";
-ML_file "Thy/html.ML";
 ML_file "Thy/latex.ML";
 
 (*ML with context and antiquotations*)
isabelle