| <!doctype html public "-//w3c//dtd html 4.0 transitional//en"> |
| <html> |
| <head> |
| <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
| <meta name="Author" content="Build"> |
| <meta name="GENERATOR" content="Mozilla/4.75 [en] (Windows NT 5.0; U) [Netscape]"> |
| <title>Eclipse Platform Release Notes - Workbench</title> |
| </head> |
| <body> |
| |
| <h1> |
| Eclipse Platform Build Notes<br> |
| External Tools</h1> |
| Eclipse Integration Build 20020507 |
| <h2> |
| What's new in this drop</h2> |
| |
| <h3> |
| API changes</h3> |
| |
| <h3> |
| API additions</h3> |
| |
| <h3> |
| Other highlights</h3> |
| |
| <h2> |
| Known deficiencies</h2> |
| |
| <h2> |
| Problem reports fixed</h2> |
| <a href="http://dev.eclipse.org/bugs/buglist.cgi?bug_status=RESOLVED&bug_status=VERIFIED&bug_status=CLOSED&chfield=bug_status&chfieldfrom=2002%2F04%2F30&chfieldto=2002%2F05%2F07&product=Platform&component=UI&cmdtype=doit&&order=Bug+Number">Click |
| here</a> to see PRs which have been marked as RESOLVED, VERIFIED or CLOSED |
| between 2002/04/30 and 2002/05/07. |
| <p> |
| <hr SIZE=0 WIDTH="100%"> |
| <br> |
| </body> |
| </html> |
