New Version of DrJava with Mint

I just made a new release of the all-in-one DrJava with Mint:

drjava-r5121-mint-r14186.jar

On the Mint side, there is only one small change: Previously, the Mint compiler only appeared in the “Compiler” drop-down box if the “Display all compiler versions” preference was enabled, which by default was not the case.

Happy experimentation with Mint!

(Re-posted from The Java Mint Blog)

Share

About Mathias

Software development engineer. Principal developer of DrJava. Recent Ph.D. graduate from the Department of Computer Science at Rice University.
This entry was posted in Mint. Bookmark the permalink.

Leave a Reply