changeset 26785 | e77f9b8c7514 |
parent 26774 | e258050a3076 |
child 26843 | 612ca951afee |
--- a/doc-src/antiquote_setup.ML Mon May 05 15:27:13 2008 +0200 +++ b/doc-src/antiquote_setup.ML Tue May 06 00:08:52 2008 +0200 @@ -167,7 +167,7 @@ (entity_antiqs "" "syntax" @ entity_antiqs "isacommand" "command" @ entity_antiqs "isakeyword" "keyword" @ - entity_antiqs "" "element" @ + entity_antiqs "isakeyword" "element" @ entity_antiqs "" "method" @ entity_antiqs "" "attribute" @ entity_antiqs "" "fact" @