| Commit | Date | |
|---|---|---|
|
[r5433]
by
mgricken
Fixed bug 3298398: can't change fonts M drjava/src/edu/rice/cs/util/swing/FontChooser.java |
2011-06-13 02:22:35 | Tree |
|
[r5432]
by
mgricken
Fixed bug 3192492: IOException when saving file M drjava/lib/platform.jar |
2011-06-12 07:44:37 | Tree |
|
[r5431]
by
mgricken
Fixes bug 3280955: Reoccurrence of French keyboard problem It seems like the problem was introduced in revision 4671. The change |
2011-04-16 07:58:48 | Tree |
|
[r5430]
by
mgricken
Updated file release instructions. M docs/src/developer/projectAdministration.docbook |
2011-02-17 16:47:36 | Tree |
| 2011-02-05 09:07:51 | Tree | |
| 2011-02-05 09:01:27 | Tree | |
| 2011-02-04 15:37:27 | Tree | |
| 2011-02-04 15:35:20 | Tree | |
|
[r5425]
by
rcartwright
This revision fully integrates the new .dj language level with the The following files were modified: M lib/javalanglevels-base.jar |
2011-02-03 06:46:51 | Tree |
|
[r5424]
by
rcartwright
Revised language levels in an attempt to make it more robust and to The following files were modified: M src/edu/rice/cs/javalanglevels/IntermediateLevelTest.java |
2011-02-03 06:32:51 | Tree |