--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Fri Sep 07 20:40:08 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Fri Sep 07 22:13:45 2007 +0200
@@ -103,6 +103,7 @@
(if name = Markup.promptN then ("", special "372")
else if name = Markup.stateN then (special "366" ^ "\n", "\n" ^ special "367")
else if name = Markup.sendbackN then (special "376", special "377")
+ else if name = Markup.hiliteN then (special "327", special "330")
else ("", ""))
|> (name <> Markup.promptN andalso print_mode_active "test_markup") ?
(fn (bg, en) =>