I just created a new release of Mint [1] and DrJava with Mint [2]: July 22, 2010 (r15637). It’s been over a year since we made the first version of Mint available! The latest release is, as always, available from the Mint implementation [3] page:
The DrJava [7] team released a third beta version of DrJava [8] almost two weeks ago, drjava-beta-20100711-r5314 [9].
The only thing that changed on the Mint language side is the implementation of the toString() method for brackets.
There have a been plenty of new features and bugfixes for DrJava [10], and they have been integrated into DrJava with Mint. In fact, DrJava with Mint includes a few bugfixes that are not yet in the latest beta of DrJava.
(Re-posted from The Java Mint Blog [11].)
