1.1 --- a/doc-src/antiquote_setup.ML Wed Jun 25 14:54:45 2008 +0200
1.2 +++ b/doc-src/antiquote_setup.ML Wed Jun 25 17:38:32 2008 +0200
1.3 @@ -190,9 +190,9 @@
1.4
1.5 val _ = O.add_commands
1.6 (entity_antiqs no_check "" "syntax" @
1.7 - entity_antiqs (K (is_some o OuterSyntax.command_keyword)) "isacommand" "command" @
1.8 - entity_antiqs (K OuterSyntax.is_keyword) "isakeyword" "keyword" @
1.9 - entity_antiqs (K OuterSyntax.is_keyword) "isakeyword" "element" @
1.10 + entity_antiqs (K (is_some o OuterKeyword.command_keyword)) "isacommand" "command" @
1.11 + entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "keyword" @
1.12 + entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "element" @
1.13 entity_antiqs (thy_check Method.intern Method.defined) "" "method" @
1.14 entity_antiqs (thy_check Attrib.intern Attrib.defined) "" "attribute" @
1.15 entity_antiqs no_check "" "fact" @