src/Pure/PIDE/isabelle_markup.ML
changeset 49674 dbadb4d03cbc
parent 49566 66cbf8bb4693
child 49677 c4e2762a265c
     1.1 --- a/src/Pure/PIDE/isabelle_markup.ML	Mon Oct 01 12:05:05 2012 +0200
     1.2 +++ b/src/Pure/PIDE/isabelle_markup.ML	Mon Oct 01 16:37:22 2012 +0200
     1.3 @@ -48,6 +48,7 @@
     1.4    val typN: string val typ: Markup.T
     1.5    val termN: string val term: Markup.T
     1.6    val propN: string val prop: Markup.T
     1.7 +  val sortingN: string val sorting: Markup.T
     1.8    val typingN: string val typing: Markup.T
     1.9    val ML_keywordN: string val ML_keyword: Markup.T
    1.10    val ML_delimiterN: string val ML_delimiter: Markup.T
    1.11 @@ -200,6 +201,7 @@
    1.12  val (termN, term) = markup_elem "term";
    1.13  val (propN, prop) = markup_elem "prop";
    1.14  
    1.15 +val (sortingN, sorting) = markup_elem "sorting";
    1.16  val (typingN, typing) = markup_elem "typing";
    1.17  
    1.18