| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.2"?> | |
| <plugin> | |
| <extension-point id="patternmatcher" name="Pattern matcher" schema="schema/org.eclipse.viatra2.gtasm.patternmatcher.patternmatcher.exsd"/> | |
| <extension-point id="gtrulematcher" name="GT Rule matcher" schema="schema/org.eclipse.viatra2.gtasm.patternmatcher.gtrulematcher.exsd"/> | |
| </plugin> |