--- a/src/Pure/PIDE/markup.ML Sat Mar 05 17:01:45 2016 +0100
+++ b/src/Pure/PIDE/markup.ML Sat Mar 05 19:14:04 2016 +0100
@@ -40,6 +40,7 @@
val language_document: bool -> T
val language_antiquotation: T
val language_text: bool -> T
+ val language_verbatim: bool -> T
val language_rail: T
val language_path: T
val bindingN: string val binding: T
@@ -316,6 +317,7 @@
val language_antiquotation =
language {name = "antiquotation", symbols = true, antiquotes = false, delimited = true};
val language_text = language' {name = "text", symbols = true, antiquotes = false};
+val language_verbatim = language' {name = "verbatim", symbols = true, antiquotes = false};
val language_rail = language {name = "rail", symbols = true, antiquotes = true, delimited = true};
val language_path = language {name = "path", symbols = false, antiquotes = false, delimited = true};