--- a/src/Pure/ProofGeneral/proof_general_emacs.ML Sat Aug 18 21:27:52 2007 +0200
+++ b/src/Pure/ProofGeneral/proof_general_emacs.ML Sun Aug 19 12:43:05 2007 +0200
@@ -102,7 +102,7 @@
fun proof_general_markup (name, props) =
(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 "375", special "376")
+ else if name = Markup.sendbackN then (special "376", special "377")
else ("", ""))
|> (name <> Markup.promptN andalso print_mode_active "test_markup") ?
(fn (bg, en) =>