--- a/src/Pure/PIDE/markup.ML Tue Feb 18 20:37:45 2014 +0100
+++ b/src/Pure/PIDE/markup.ML Tue Feb 18 20:50:07 2014 +0100
@@ -27,6 +27,7 @@
val language_prop: T
val language_ML: T
val language_document: T
+ val language_text: T
val bindingN: string val binding: T
val entityN: string val entity: string -> string -> T
val get_entity_kind: T -> string option
@@ -253,6 +254,7 @@
val language_ML = language "ML";
val language_document = language "document";
+val language_text = language "text";
(* formal entities *)