Mercurialisabelle / diff
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | revisions | annotate | diff | raw
doc-src/antiquote_setup.ML
changeset 27353 71c4dd53d4cb
parent 26910 aa6357b39212
child 27809 a1e409db516b 
     1.1 --- a/doc-src/antiquote_setup.ML	Wed Jun 25 14:54:45 2008 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Wed Jun 25 17:38:32 2008 +0200
     1.3 @@ -190,9 +190,9 @@
     1.4  
     1.5  val _ = O.add_commands
     1.6   (entity_antiqs no_check "" "syntax" @
     1.7 -  entity_antiqs (K (is_some o OuterSyntax.command_keyword)) "isacommand" "command" @
     1.8 -  entity_antiqs (K OuterSyntax.is_keyword) "isakeyword" "keyword" @
     1.9 -  entity_antiqs (K OuterSyntax.is_keyword) "isakeyword" "element" @
    1.10 +  entity_antiqs (K (is_some o OuterKeyword.command_keyword)) "isacommand" "command" @
    1.11 +  entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "keyword" @
    1.12 +  entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "element" @
    1.13    entity_antiqs (thy_check Method.intern Method.defined) "" "method" @
    1.14    entity_antiqs (thy_check Attrib.intern Attrib.defined) "" "attribute" @
    1.15    entity_antiqs no_check "" "fact" @
isabelle