This development release of DrJava provides a few bug fixes, including restored support for loading Interactions histories from the Tools menu. Please test this release by following the "more download options" link on our home page.
Log in to post a comment.
