--- a/src/Doc/antiquote_setup.ML Tue Feb 25 12:53:08 2014 +0100
+++ b/src/Doc/antiquote_setup.ML Tue Feb 25 14:34:18 2014 +0100
@@ -212,7 +212,7 @@
entity_antiqs (K command_check) "isacommand" "command" #>
entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "keyword" #>
entity_antiqs (K (Keyword.is_keyword o #1)) "isakeyword" "element" #>
- entity_antiqs (thy_check Method.check) "" "method" #>
+ entity_antiqs (can o Method.check_name) "" "method" #>
entity_antiqs (thy_check Attrib.check) "" "attribute" #>
entity_antiqs no_check "" "fact" #>
entity_antiqs no_check "" "variable" #>