src/Pure/PIDE/markup.scala
changeset 50543 42bbe637be54
parent 50503 50f141b34bb7
child 50545 00bdc48c5f71
     1.1 --- a/src/Pure/PIDE/markup.scala	Sat Dec 15 12:16:16 2012 +0100
     1.2 +++ b/src/Pure/PIDE/markup.scala	Sat Dec 15 12:28:37 2012 +0100
     1.3 @@ -210,6 +210,7 @@
     1.4    val PROOF_STATE = "proof_state"
     1.5  
     1.6    val STATE = "state"
     1.7 +  val GOAL = "goal"
     1.8    val SUBGOAL = "subgoal"
     1.9  
    1.10