changeset 49358 | 0fa351b1bd14 |
parent 49321 | a48f9bbbe720 |
child 49418 | c451856129cd |
--- a/src/Pure/PIDE/isabelle_markup.scala Fri Sep 14 17:37:19 2012 +0200 +++ b/src/Pure/PIDE/isabelle_markup.scala Fri Sep 14 18:12:41 2012 +0200 @@ -185,7 +185,7 @@ val STATE = "state" val SUBGOAL = "subgoal" val SENDBACK = "sendback" - val HILITE = "hilite" + val INTENSIFY = "intensify" /* command status */