equal
deleted
inserted
replaced
188 |
188 |
189 in |
189 in |
190 |
190 |
191 val _ = O.add_commands |
191 val _ = O.add_commands |
192 (entity_antiqs no_check "" "syntax" @ |
192 (entity_antiqs no_check "" "syntax" @ |
193 entity_antiqs (K (is_some o OuterSyntax.command_keyword)) "isacommand" "command" @ |
193 entity_antiqs (K (is_some o OuterKeyword.command_keyword)) "isacommand" "command" @ |
194 entity_antiqs (K OuterSyntax.is_keyword) "isakeyword" "keyword" @ |
194 entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "keyword" @ |
195 entity_antiqs (K OuterSyntax.is_keyword) "isakeyword" "element" @ |
195 entity_antiqs (K OuterKeyword.is_keyword) "isakeyword" "element" @ |
196 entity_antiqs (thy_check Method.intern Method.defined) "" "method" @ |
196 entity_antiqs (thy_check Method.intern Method.defined) "" "method" @ |
197 entity_antiqs (thy_check Attrib.intern Attrib.defined) "" "attribute" @ |
197 entity_antiqs (thy_check Attrib.intern Attrib.defined) "" "attribute" @ |
198 entity_antiqs no_check "" "fact" @ |
198 entity_antiqs no_check "" "fact" @ |
199 entity_antiqs no_check "" "variable" @ |
199 entity_antiqs no_check "" "variable" @ |
200 entity_antiqs no_check "" "case" @ |
200 entity_antiqs no_check "" "case" @ |