src/Doc/antiquote_setup.ML
changeset 55742 a989bdaf8121
parent 54705 0dff3326d12a
child 55743 225a060e7445
     1.1 --- a/src/Doc/antiquote_setup.ML	Tue Feb 25 12:53:08 2014 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Tue Feb 25 14:34:18 2014 +0100
     1.3 @@ -212,7 +212,7 @@
     1.4    entity_antiqs (K command_check) "isacommand" "command" #>
     1.5    entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "keyword" #>
     1.6    entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "element" #>
     1.7 -  entity_antiqs (thy_check Method.check) "" "method" #>
     1.8 +  entity_antiqs (can o Method.check_name) "" "method" #>
     1.9    entity_antiqs (thy_check Attrib.check) "" "attribute" #>
    1.10    entity_antiqs no_check "" "fact" #>
    1.11    entity_antiqs no_check "" "variable" #>