DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

This commit contains the updated platform.jar including the Scala compiler adapter (which does not yet work) and a minor change to

DefaultGlobalModel.java concerning what predicates found compilers must satisfy.

The following files were modifiedP

M drjava/lib/platform.jar
M drjava/src/edu/rice/cs/drjava/model/DefaultGlobalModel.java

Authored by: rcartwright 2012-03-08

Parent: [r5480]

changed	/branches/drscala/drjava/lib/platform.jar
changed	/branches/drscala/drjava/src/edu/rice/cs/drjava/model/DefaultGlobalModel.java

Binary file was changed.