src/Pure/PIDE/markup.ML

   val document_antiquotationN: string
   val document_antiquotation_optionN: string
   val paragraphN: string val paragraph: T
   val text_foldN: string val text_fold: T
   val inputN: string val input: bool -> Properties.T -> T
+  val command_keywordN: string val command_keyword: T
   val commandN: string val command: T
   val stringN: string val string: T
   val alt_stringN: string val alt_string: T
   val verbatimN: string val verbatim: T
   val cartoucheN: string val cartouche: T

 fun input delimited props = (inputN, (delimitedN, print_bool delimited) :: props);
 
 
 (* outer syntax *)
 
+val (command_keywordN, command_keyword) = markup_elem "command_keyword";
 val (commandN, command) = markup_elem "command";
 val (keyword1N, keyword1) = markup_elem "keyword1";
 val (keyword2N, keyword2) = markup_elem "keyword2";
 val (keyword3N, keyword3) = markup_elem "keyword3";
 val (quasi_keywordN, quasi_keyword) = markup_elem "quasi_keyword";