[Drjava-users] New DrJava Plug-in for Eclipse Released

[Daniel S. <dl...@ri...>]

A build of the DrJava Eclipse Plug-in has been posted, and is  
available on the main DrJava site.  The Eclipse Plug-in includes an  
Interactions Pane and a DrJava "Perspective."

<http://drjava.org>