--- a/src/Pure/PIDE/markup.ML Sun Nov 13 14:56:24 2022 +0100
+++ b/src/Pure/PIDE/markup.ML Sun Nov 13 20:28:39 2022 +0100
@@ -141,6 +141,7 @@
val ML_antiquotationN: string
val document_antiquotationN: string
val document_antiquotation_optionN: string
+ val prismjs_languageN: string
val raw_textN: string val raw_text: T
val plain_textN: string val plain_text: T
val paragraphN: string val paragraph: T
@@ -567,6 +568,8 @@
(* document text *)
+val prismjs_languageN = "prismjs_language";
+
val (raw_textN, raw_text) = markup_elem "raw_text";
val (plain_textN, plain_text) = markup_elem "plain_text";