Menu
▾
▴
Tree [r5763] / trunk / History
| File | Date | Author | Commit |
|---|---|---|---|
| djapp | 2009-12-12 | mgricken | [r5146] Setting svn:eol-style=native for all text files. |
| docs | 2011-09-03 | mgricken | [r5452] Changed linenum.enabled to lineenum.enabled. |
| drjava | 2014-09-03 | rcartwright | [r5763] This revision works around a JVM bug that happe... |
| dynamicjava | 2011-08-02 | mgricken | [r5436] Java 7 support in DrJava. Removed plenty of new... |
| eclipse | 2011-08-02 | mgricken | [r5436] Java 7 support in DrJava. Removed plenty of new... |
| javalanglevels | 2011-08-02 | mgricken | [r5436] Java 7 support in DrJava. Removed plenty of new... |
| jedit | 2010-01-20 | mgricken | [r5175] Copyright change, and svn property change svn:k... |
| misc | 2010-10-19 | mgricken | [r5403] Better version handling for research compilers. |
| platform | 2014-02-26 | rcartwright | [r5758] |
| plt | 2013-08-30 | rcartwright | [r5754] This commit makes some additional patches to Ja... |