src/Pure/PIDE/isabelle_markup.ML

--- a/src/Pure/PIDE/isabelle_markup.ML	Thu Nov 22 08:23:13 2012 +0100
+++ b/src/Pure/PIDE/isabelle_markup.ML	Thu Nov 22 12:22:03 2012 +0100
@@ -67,6 +67,7 @@
   val ML_antiquotationN: string
   val document_antiquotationN: string
   val document_antiquotation_optionN: string
+  val paragraphN: string val paragraph: Markup.T
   val keywordN: string val keyword: Markup.T
   val operatorN: string val operator: Markup.T
   val commandN: string val command: Markup.T
@@ -239,6 +240,11 @@
 val document_antiquotation_optionN = "document_antiquotation_option";
 
 
+(* text structure *)
+
+val (paragraphN, paragraph) = markup_elem "paragraph";
+
+
 (* outer syntax *)
 
 val (keywordN, keyword) = markup_elem "keyword";