equal
deleted
inserted
replaced
1 <?xml version="1.0" encoding="UTF-8"?> |
1 <?xml version="1.0" encoding="UTF-8"?> |
2 <?eclipse version="3.4"?> |
2 <?eclipse version="3.0"?> |
3 <plugin> |
3 <plugin> |
4 <extension |
4 <extension point="org.eclipse.help.toc"> |
5 point="org.eclipse.help.toc"> |
5 <toc file="toc.xml" primary="true" /> |
6 <toc |
6 <toc file="WRT_Doc.xml" /> |
7 file="toc.xml" |
|
8 primary="true"> |
|
9 </toc> |
|
10 </extension> |
7 </extension> |
11 <extension |
|
12 point="org.eclipse.ui.helpSupport"> |
|
13 </extension> |
|
14 |
|
15 </plugin> |
8 </plugin> |