# HG changeset patch
# User aspinall
# Date 1187520185 -7200
# Node ID 9cae2e2a4b70008daf81ab428468c1eb1445e53e
# Parent  f31594168d2768e80ed51b430f1ad708d3c80313
Use 376/377 specials for sendback markup

diff -r f31594168d27 -r 9cae2e2a4b70 src/Pure/ProofGeneral/proof_general_emacs.ML
--- 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) =>