diff -r a564458f94db -r 2382876c238b src/Pure/PIDE/markup.ML
--- 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};