I just created a new release of Mint and DrJava with Mint: 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 page:
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, 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.)