Closed feature requests: 544505, 552825, 537227
Implemented select-all menu feature in request ...
Fixed accidental change of useDebug flag in Def...
Implemented feature request 511414. Added suppo...
Fixed DrJava to empty undo/redo history when re...
Updated package.html associated with indent lib...
Fixed bug 565849.
Added additional syntax higlighting for request...
Fixed IndentTest failure when configuration ind...
Fix for bug 568245. This version has improved s...
Fixed bug 552691. Reimplemented line numbers us...
Quick fix for bug 574761. Fixed bug that occure...
Partial completion of #573782. This new version...
Complete implementation for request #573782. Th...
* Rebuilt eclipse plugin to work with reorganiz...
* Adding current build scripts. These are based...
Updating eclipse plugin against latest DrJava C...
Trying to patch Interactions