--- a/src/Pure/PIDE/markup.ML Wed Feb 19 20:53:09 2014 +0100
+++ b/src/Pure/PIDE/markup.ML Wed Feb 19 20:56:29 2014 +0100
@@ -28,6 +28,7 @@
val language_ML: T
val language_document: T
val language_text: T
+ val language_rail: T
val bindingN: string val binding: T
val entityN: string val entity: string -> string -> T
val get_entity_kind: T -> string option
@@ -255,6 +256,7 @@
val language_ML = language "ML";
val language_document = language "document";
val language_text = language "text";
+val language_rail = language "rail";
(* formal entities *)