changeset 58903 | 38c72f5f6c2e |
parent 58716 | 23a380cc45f4 |
child 58919 | 82a71046dce8 |
--- a/src/Doc/antiquote_setup.ML Wed Nov 05 20:05:32 2014 +0100 +++ b/src/Doc/antiquote_setup.ML Wed Nov 05 20:20:57 2014 +0100 @@ -195,7 +195,7 @@ is_some (Keyword.command_keyword name) andalso let val markup = - Outer_Syntax.scan (Keyword.get_lexicons ()) Position.none name + Outer_Syntax.scan (Keyword.get_keywords ()) Position.none name |> maps (Outer_Syntax.command_reports (#2 (Outer_Syntax.get_syntax ()))) |> map (snd o fst); val _ = Context_Position.reports ctxt (map (pair pos) markup);