diff -r 25501ba956ac -r 88b0b1f28adc src/Doc/antiquote_setup.ML
--- a/src/Doc/antiquote_setup.ML	Wed Dec 03 11:50:58 2014 +0100
+++ b/src/Doc/antiquote_setup.ML	Wed Dec 03 14:04:38 2014 +0100
@@ -204,7 +204,7 @@
     Keyword.is_command keywords name andalso
       let
         val markup =
-          Outer_Syntax.scan keywords Position.none name
+          Token.explode keywords Position.none name
           |> maps (Outer_Syntax.command_reports thy)
           |> map (snd o fst);
         val _ = Context_Position.reports ctxt (map (pair pos) markup);