src/Pure/PIDE/sendback.ML

--- a/src/Pure/PIDE/sendback.ML	Thu Nov 22 13:21:02 2012 +0100
+++ b/src/Pure/PIDE/sendback.ML	Thu Nov 22 14:40:39 2012 +0100
@@ -9,6 +9,7 @@
 sig
   val make_markup: unit -> Markup.T
   val markup: string -> string
+  val markup_implicit: string -> string
 end;
 
 structure Sendback: SENDBACK =
@@ -24,5 +25,7 @@
 
 fun markup s = Markup.markup (make_markup ()) s;
 
+val markup_implicit = Markup.markup Isabelle_Markup.sendback;
+
 end;