This repository is used for students developing new extensions to the DrScala IDE.
For the current version of the DrScala codebase, please see the drscala branch on the DrJava repository:
https://github.com/DrJavaAtRice/drjava/tree/drscala/master