jdt-core-home/dev.html

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.42, Thu Nov 28 14:06:51 2002 UTC revision 1.43, Wed Jan 15 16:34:01 2003 UTC
# Line 74  Line 74 
74    </tr>    </tr>
75    <tr>    <tr>
76      <td align=right valign=top width="2%"><img src="http://dev.eclipse.org/images/Adarrow.gif" border=0 height=16 width=16></td>      <td align=right valign=top width="2%"><img src="http://dev.eclipse.org/images/Adarrow.gif" border=0 height=16 width=16></td>
77      <td width="98%"> <b>Optional Plugins</b><p>      <td width="98%"> <b>Additional tools</b><p>
78        Here are optional plugins provided as a courtesy of JDT Core Team:        Here are tools provided as a courtesy of JDT Core Team:
79        <ul>        <ul>
80          <li><a href="plugins/org.eclipse.jdt.internal.appletlauncher/index.html">org.eclipse.jdt.internal.appletlauncher</a></li>          <li><a href="tools/diff/index.html">Diff</a></li>
81            <li><a href="tools/internal/index.html">Internal</a></li>
82        </ul>        </ul>
83      </td>      </td>
84    </tr>    </tr>
Legend:
Removed from v.1.42  
changed lines
  Added in v.1.43