DrJava

Ouch typo in the title I see now, of course it's "latest" instead... BTW Jason, it works!

Hi Alan, Thanks for the bug report. This is now fixed.

Would love this feature, my RSS reader puts the entire post in bold because that's what it does w...