src/Pure/PIDE/markup.scala
changeset 63475 31016a88197b
parent 63474 f66e3c3b0fb1
child 63681 d2448471ffba
     1.1 --- a/src/Pure/PIDE/markup.scala	Wed Jul 13 15:19:16 2016 +0200
     1.2 +++ b/src/Pure/PIDE/markup.scala	Wed Jul 13 15:23:33 2016 +0200
     1.3 @@ -384,9 +384,6 @@
     1.4  
     1.5    /* goals */
     1.6  
     1.7 -  val SUBGOALS = "subgoals"
     1.8 -  val PROOF_STATE = "proof_state"
     1.9 -
    1.10    val GOAL = "goal"
    1.11    val SUBGOAL = "subgoal"
    1.12