src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Fri Nov 13 17:48:33 2015 +0100
+++ b/src/Pure/PIDE/markup.scala	Fri Nov 13 19:59:28 2015 +0100
@@ -174,6 +174,9 @@
   val URL = "url"
   val Url = new Markup_String(URL, NAME)
 
+  val DOC = "doc"
+  val Doc = new Markup_String(DOC, NAME)
+
 
   /* pretty printing */