DrJava Legacy SVN Repository

forgot to cd up

build_standalone.sh builds a dr-hj jar file based on the hj jar files that are under misc/drjava-hj/input/lib

if hj.home is not set in the env, default to hj distribution embedded with drhj

This update includes some minor changes to the drjava source to accommodate drscala. Some of the changes (like creating the files named foo) were not supposed to be committed. They will subsequently be removed.

The following files (the scala compiler source code) are being added to the
repository.

A platform/src-scala
A platform/src-scala/edu
A platform/src-scala/edu/rice
A platform/src-scala/edu/rice/drjava
A platform/src-scala/edu/rice/drjava/model
A platform/src-scala/edu/rice/drjava/model/foo
A platform/src-scala/edu/rice/drjava/model/compiler
A platform/src-scala/edu/rice/drjava/model/compiler/foo

Branching from trunk to drscala at 5470. The following branch was created:

A https://drjava.svn.sourceforge.net/svnroot/drjava/branches/drscala

Update jar files + hj plugin to match latest hj release 1.3.1 soot 2.5.0 based

add hj forasync keyword

Gray the runtime selection combo box when racedet is on. Note the event listener works only when Apply/Ok buttons are pressed. so the box doesn't gray immediately when clicking the racedet tick box.

Fix HJ runtime selection bug

Add HJ runtime selection combo box