--- a/src/Pure/PIDE/markup.ML Sat Nov 20 13:53:34 2021 +0100
+++ b/src/Pure/PIDE/markup.ML Sat Nov 20 18:15:09 2021 +0100
@@ -153,6 +153,8 @@
val latex_macro0N: string val latex_macro0: string -> T
val latex_macroN: string val latex_macro: string -> T
val latex_environmentN: string val latex_environment: string -> T
+ val latex_headingN: string val latex_heading: string -> T
+ val latex_bodyN: string val latex_body: string -> T
val latex_index_itemN: string val latex_index_item: T
val latex_index_entryN: string val latex_index_entry: string -> T
val markdown_paragraphN: string val markdown_paragraph: T
@@ -584,6 +586,8 @@
val (latex_macro0N, latex_macro0) = markup_string "latex_macro0" nameN;
val (latex_macroN, latex_macro) = markup_string "latex_macro" nameN;
val (latex_environmentN, latex_environment) = markup_string "latex_environment" nameN;
+val (latex_headingN, latex_heading) = markup_string "latex_heading" kindN;
+val (latex_bodyN, latex_body) = markup_string "latex_body" kindN;
val (latex_index_itemN, latex_index_item) = markup_elem "latex_index_item";
val (latex_index_entryN, latex_index_entry) = markup_string "latex_index_entry" kindN;