Commits

History for

Commits on Aug 13, 2019

This revision makes massive syntactic changes (copyright blocks in nearly every file) and minor semantic updates to incorporate the Java OpenJDK 8 tools.jar library in drjava.jar so DrJava can acce…
ponderosaTX
committed

Commits on Aug 9, 2017

This revision fixes an insidious "Heisenbug" in DefinitionsDocument, where wr.get() for a WeakReference wr is executed a second time after being tested for non-null. Of course, the second referenc…
ponderosaTX
committed

Commits on Aug 22, 2016

This revision may have fixed a bug in Find/Replace by tagging all of
ponderosaTX
committed

Commits on Nov 23, 2015

This revision primarily cleans up the formatting of the code base and
ponderosaTX
committed

Commits on Oct 19, 2015

fixed javadoc
rebeccasmith
committed

Commits on Oct 3, 2015

Cleaned up files to eliminate most compiler warnings as reported by Eclipse.
jonathansharman
committed

Commits on Jul 25, 2012

This commit includes many small changes motivated by bug fixes and
rcartwright
committed

Commits on Aug 27, 2010

Merging drjava-compilers branch into trunk. This is a major
mgricken
committed

Commits on Aug 25, 2010

Implemented compiler-selected file extensions and keyword
mgricken
committed

Commits on Aug 11, 2010

Fixing 3043199: Undo/Redo Menu Items Not Enabled Properly
mgricken
committed

Commits on Jul 22, 2010

Merged drjava-guiAvailListener branch into trunk.
mgricken
committed

Loading