1.1 --- a/doc-src/antiquote_setup.ML	Mon May 05 15:27:13 2008 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Tue May 06 00:08:52 2008 +0200
     1.3 @@ -167,7 +167,7 @@
     1.4   (entity_antiqs "" "syntax" @
     1.5    entity_antiqs "isacommand" "command" @
     1.6    entity_antiqs "isakeyword" "keyword" @
     1.7 -  entity_antiqs "" "element" @
     1.8 +  entity_antiqs "isakeyword" "element" @
     1.9    entity_antiqs "" "method" @
    1.10    entity_antiqs "" "attribute" @
    1.11    entity_antiqs "" "fact" @