New Version of DrJava with Mint: drjava-r5246-mint-r15405
The DrJava team released a third beta version of DrJava today, drjava-beta-20100711-r5314.
I therefore created a new release of DrJava with Mint: May 8, 2010 (r15405). The latest release is available from the Mint implementation page:
Nothing has changed on the Mint language side.
(Re-posted from The Java Mint Blog.)
This entry was posted in DrJava
. Bookmark the permalink