doc-src/antiquote_setup.ML
changeset 36973 b0033a307d1f
parent 36163 823c9400eb62
child 37198 3af985b10550
     1.1 --- a/doc-src/antiquote_setup.ML	Tue May 18 00:01:51 2010 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Tue May 18 10:13:33 2010 +0200
     1.3 @@ -166,9 +166,9 @@
     1.4  in
     1.5  
     1.6  val _ = entity_antiqs no_check "" "syntax";
     1.7 -val _ = entity_antiqs (K (is_some o OuterKeyword.command_keyword)) "isacommand" "command";
     1.8 -val _ = entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "keyword";
     1.9 -val _ = entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "element";
    1.10 +val _ = entity_antiqs (K (is_some o Keyword.command_keyword)) "isacommand" "command";
    1.11 +val _ = entity_antiqs (K Keyword.is_keyword) "isakeyword" "keyword";
    1.12 +val _ = entity_antiqs (K Keyword.is_keyword) "isakeyword" "element";
    1.13  val _ = entity_antiqs (thy_check Method.intern Method.defined) "" "method";
    1.14  val _ = entity_antiqs (thy_check Attrib.intern Attrib.defined) "" "attribute";
    1.15  val _ = entity_antiqs no_check "" "fact";