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 Jun 14, 2017

This revision apparently fixes a bug in the global replace command
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 Jan 20, 2010

Copyright change, and svn property change svn:keywords to
mgricken
committed

Commits on Aug 3, 2009

Updating copyright.
mgricken
committed

Commits on Dec 2, 2008

Code cleanup recommended by Eclipse. Mostly removed dead code and added generic arguments; touched many files.
dlsmith
committed

Commits on Jul 29, 2008

This revions contains some minor cleanup code like deleting print
rcartwright
committed

Commits on Jul 18, 2008

In classes where structural equality is unnecessary, this revision
rcartwright
committed

Commits on May 18, 2008

This revions refactors the implementation and interfaces of document
rcartwright
committed

Commits on Jan 30, 2008

Changed copyright notices to 2008 and made drjava@rice.edu
mgricken
committed

Commits on Aug 28, 2007

Change of DrJava License to BSD
mgricken
committed

Commits on Feb 26, 2007

This revision streamlines the implementation of the getLength
rcartwright
committed

Commits on Nov 22, 2006

This revision fixes a bug in the updating of document highlights and
rcartwright
committed

Loading