| <?xml version="1.0" encoding="UTF-8"?> | |
| <?eclipse version="3.2"?> | |
| <plugin> | |
| <extension-point id="parserGenerator" name="Parser generator" schema="schema/parserGenerator.exsd"/> | |
| <extension | |
| id="Builder" | |
| name="TCS builder" | |
| point="org.eclipse.core.resources.builders"> | |
| <builder> | |
| <run class="org.eclipse.gmt.tcs.builder.TCSBuilder"/> | |
| </builder> | |
| </extension> | |
| </plugin> |