diff -r 2c94c065564e -r c26369c9eda6 src/Pure/PIDE/document.ML
--- a/src/Pure/PIDE/document.ML	Sun Nov 25 18:50:13 2012 +0100
+++ b/src/Pure/PIDE/document.ML	Sun Nov 25 19:49:24 2012 +0100
@@ -272,7 +272,7 @@
               (#1 (Outer_Syntax.get_syntax ())) (Position.id id_string) text) ());
       val _ =
         Position.setmp_thread_data (Position.id_only id_string)
-          (fn () => Output.status (Markup.markup_only Isabelle_Markup.accepted)) ();
+          (fn () => Output.status (Markup.markup_only Markup.accepted)) ();
       val commands' =
         Inttab.update_new (id, (name, span)) commands
           handle Inttab.DUP dup => err_dup "command" dup;