Commits
User selector
Commit History
Commits on Sep 9, 2017
- authored andcommitted


Commits on Aug 9, 2017
- committed
y4zhang
Commits on Jul 26, 2017
- committed
y4zhang
Commits on Jul 25, 2017
- committed
y4zhang - committed
y4zhang
Commits on Jul 12, 2017
- committed
y4zhang - committed
y4zhang
Commits on Jul 11, 2017
- committed
y4zhang
Commits on Jun 14, 2017
This revision apparently fixes a bug in the global replace command
Show description for 6bff7c5committed
Commits on Nov 12, 2016
Commits on Oct 5, 2016
This revision cleans up:
Show description for f2bd90fcommitted
Commits on Sep 14, 2016
This revision consists of a tiny semantic change in
Show description for f1caed5committed
Commits on Sep 7, 2016
Merge branch 'master' of github.com:DrJavaAtRice/drjava
Show description for 1c50276committedThis revision cleans up build.xml and some top-level code in the interpreter.
Show description for 95455bacommitted
Commits on Sep 3, 2016
Cleaned up unused imports; formatting.
Show description for 4960fa6committed
achooie
Commits on Aug 29, 2016
Merge branch 'master' of github.com:DrJavaAtRice/drjava
Show description for eafa80acommitted\This revision cleans up the code in FindReplaceMachine.java which was
Show description for 577d0dfcommitted
Commits on Aug 24, 2016
Second test of the git "ident" feature. The string should be "$Id$" in each
Show description for b378ce5committed
achooieTesting git feature whereby a file whose name matches the pattern for attribute
Show description for b2a0663committed
achooie
Commits on Aug 23, 2016
Finalized merge; import cleanup.
Show description for 1b393c9committed
achooieMerge branch 'master' of https://github.com/DrJavaAtRice/drjava
Show description for 2e7d688committed
achooieThis revison fixes a bug in the "open project" command. If a project was
Show description for 666dbbbcommittedMerge and formatting.
Show description for 1de2adecommitted
achooie
Commits on Aug 22, 2016
This revision may have fixed a bug in Find/Replace by tagging all of
Show description for 600e7f2committed
Commits on Aug 21, 2016
This revision finally fixes the remaining problems with code coverage
Show description for a411d7fcommitted
Commits on Aug 11, 2016
This revision nearly supports code coverage within DrJava but
Show description for b1b5dd6committed
Commits on Aug 4, 2016
Commits on Jul 19, 2016
This revision updates the version of jacoco in drjava/lib to the
Show description for 96d25dacommitted
Commits on Jul 14, 2016
This revision attempts to make code coverage work within DrJava. It
Show description for 50bdbb6committed
Commits on Jul 13, 2016
This revision slightly improves the resizing of menu bar and tabbed pane fonts.
Show description for 057aa60committed
Commits on Jul 12, 2016
Merge branch 'master' of github.com:DrJavaAtRice/drjava
Show description for 5bff2aecommitted
Commits on Jun 8, 2016
This revision cleans up many references to Java 6 and 7 in build.xml
Show description for 2a237d1committed
Commits on Jun 7, 2016
Merge branch 'master' of github.com:DrJavaAtRice/drjava
Show description for 098c940committedThis revision fixes a bug in javalanglevels regarding the partial
Show description for 4bb71d0committed
Commits on May 17, 2016
This commit updates build.xml in javalanglevels to use Java 8 instead
Show description for c83d690authored andcommitted
