src/Pure/General/markup.ML

   val propN: string val prop: T
   val attributeN: string val attribute: string -> T
   val methodN: string val method: string -> T
   val ML_sourceN: string val ML_source: T
   val doc_sourceN: string val doc_source: T
+  val antiqN: string val antiq: T
   val keyword_declN: string val keyword_decl: string -> T
   val command_declN: string val command_decl: string -> string -> T
   val keywordN: string val keyword: string -> T
   val commandN: string val command: string -> T
   val identN: string val ident: T

   val verbatimN: string val verbatim: T
   val commentN: string val comment: T
   val controlN: string val control: T
   val malformedN: string val malformed: T
   val tokenN: string val token: T
-  val antiqN: string val antiq: T
   val command_spanN: string val command_span: string -> T
   val ignored_spanN: string val ignored_span: T
   val malformed_spanN: string val malformed_span: T
   val promptN: string val prompt: T
   val stateN: string val state: T

 (* embedded source text *)
 
 val (ML_sourceN, ML_source) = markup_elem "ML_source";
 val (doc_sourceN, doc_source) = markup_elem "doc_source";
 
+val (antiqN, antiq) = markup_elem "antiq";
+
 
 (* outer syntax *)
 
 val (keyword_declN, keyword_decl) = markup_string "keyword_decl" nameN;
 

 val (controlN, control) = markup_elem "control";
 val (malformedN, malformed) = markup_elem "malformed";
 
 val (tokenN, token) = markup_elem "token";
 
-val (antiqN, antiq) = markup_elem "antiq";
-
 val (command_spanN, command_span) = markup_string "command_span" nameN;
 val (ignored_spanN, ignored_span) = markup_elem "ignored_span";
 val (malformed_spanN, malformed_span) = markup_elem "malformed_span";