Menu ▾ ▴

Commit [r4141]  Maximize  Restore  History

Updated plt.jar and javalanglevels.jar. Added support for logging via edu.rice.cs.plt.debug.DebugUtil in the build script, along with a few other configurable options (see ant help)

dlsmith 2007-02-09

Browse code at this revision

Parent: [r4140]

Child: [r4142]

changed /trunk/drjava/build.xml
changed /trunk/drjava/lib/javalanglevels.jar
changed /trunk/drjava/lib/plt.jar
changed /trunk/drjava/src/edu/rice/cs/drjava/CommandLineTest.java
changed /trunk/drjava/src/edu/rice/cs/drjava/DrJava.java
changed /trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
/trunk/drjava/build.xml Diff Switch to side-by-side view
Loading...
/trunk/drjava/lib/javalanglevels.jar
Binary file was changed.
/trunk/drjava/lib/plt.jar
Binary file was changed.
/trunk/drjava/src/edu/rice/cs/drjava/CommandLineTest.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/DrJava.java Diff Switch to side-by-side view
Loading...
/trunk/drjava/src/edu/rice/cs/drjava/model/AbstractGlobalModel.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB