root / tmp / org.txm.udpipe.rcp / plugin.xml @ 3125
Historique | Voir | Annoter | Télécharger (423 octet)
| 1 | 3120 | mdecorde | <?xml version="1.0" encoding="UTF-8"?>
|
|---|---|---|---|
| 2 | 3120 | mdecorde | <?eclipse version="3.4"?>
|
| 3 | 3120 | mdecorde | <plugin>
|
| 4 | 3120 | mdecorde | <extension
|
| 5 | 3120 | mdecorde | point="org.eclipse.ui.preferencePages"> |
| 6 | 3120 | mdecorde | <page
|
| 7 | 3120 | mdecorde | category="org.txm.rcp.preferences.NLPPreferencePage" |
| 8 | 3120 | mdecorde | class="org.txm.udpipe.rcp.preferences.UDPipePreferencePage" |
| 9 | 3120 | mdecorde | id="org.txm.udpipe.rcp.preferences.UDPipePreferencePage" |
| 10 | 3120 | mdecorde | name="UDPipe"> |
| 11 | 3120 | mdecorde | </page>
|
| 12 | 3120 | mdecorde | </extension>
|
| 13 | 3120 | mdecorde | |
| 14 | 3120 | mdecorde | </plugin> |