I committed some of Peter's changes to platform.jar and the
platform-specific source trees last night, allowing us to use the
platform's default web browser to view HTML files on Mac/Windows. To
get these changes, you'll need to run "cvs update" in your "src"
directory. (After compiling util/ and drjava/, you'll be able to view
Javadoc HTML in the platform's browser on Mac/Windows.)
Charlie
|
