# HG changeset patch
# User wenzelm
# Date 1210025332 -7200
# Node ID e77f9b8c75146de3da91f84d21feacc57b3d523a
# Parent  eee21d6d0a6be25c2504a8f9b9a58e8ba00a9147
element: isakeyword markup;

diff -r eee21d6d0a6b -r e77f9b8c7514 doc-src/antiquote_setup.ML
--- 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" @