src/Pure/General/markup.scala
changeset 45445 41e641a870de
parent 44706 fe319b45315c
child 45633 2cb7e34f6096
     1.1 --- a/src/Pure/General/markup.scala	Thu Nov 10 17:47:25 2011 +0100
     1.2 +++ b/src/Pure/General/markup.scala	Thu Nov 10 22:32:10 2011 +0100
     1.3 @@ -123,6 +123,8 @@
     1.4    val TERM = "term"
     1.5    val PROP = "prop"
     1.6  
     1.7 +  val TYPING = "typing"
     1.8 +
     1.9    val ATTRIBUTE = "attribute"
    1.10    val METHOD = "method"
    1.11