| Commit | Date | |
|---|---|---|
|
[r4744]
by
mgricken
Fixes bug 2498253: Javadoc deletes directories The values for the allDocs flag were reversed. |
2009-02-06 20:47:39 | Tree |
|
[r4743]
by
dlsmith
Temporary fix for failures in AbstractMasterJVM.dispose(): just ignore the error. |
2009-02-06 19:39:51 | Tree |
| 2009-02-05 22:08:15 | Tree | |
|
[r4741]
by
dlsmith
DynamicJava: Updated plt.jar and jlbench-base.jar. Should now compile on systems where java.home points to the JDK's "jre" subdirectory. |
2009-02-05 17:14:38 | Tree |
| 2009-02-05 06:47:46 | Tree | |
|
[r4739]
by
mgricken
Changed buttons on "Would you like to reload it and discard M src/edu/rice/cs/drjava/ui/MainFrame.java |
2009-02-04 22:26:11 | Tree |
| 2009-02-04 21:22:13 | Tree | |
| 2009-02-04 21:10:21 | Tree | |
| 2009-02-04 21:09:58 | Tree | |
| 2009-02-04 20:49:40 | Tree |