element: isakeyword markup;
authorwenzelm
Tue May 06 00:08:52 2008 +0200 (2008-05-06)
changeset 26785e77f9b8c7514
parent 26784 eee21d6d0a6b
child 26786 e4e5d911e01c
element: isakeyword markup;
doc-src/antiquote_setup.ML
     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" @