Commits
User selector
Commit History
Commits on Sep 28, 2017
This revision cleans up details in the Java REPL interpreter UI.
Show description for f3d8124committed
Commits on Nov 30, 2016
Merge branch 'master' of https://github.com/maladat/drjava
Show description for b100781committedThis revision partially cleans up javalanglevels but still does not
Show description for 163fc9bcommitted
Commits on Nov 23, 2016
Commits on Nov 16, 2016
Commits on Nov 12, 2016
Commits on Oct 19, 2016
- authored andcommitted
- authored andcommitted
Commits on Oct 5, 2016
This revision cleans up:
Show description for f2bd90fcommitted
Commits on Sep 21, 2016
- authored andcommitted


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