Commits
User selector
Commit History
Commits on Nov 17, 2024
Cleaned up build.xml.
Show description for 91be544committed
Commits on Oct 30, 2024
This is the part of the previous commit that I forgot to stage.
Show description for 022278fcommitted
Commits on Feb 19, 2024
Commits on Feb 18, 2024
The update consists of tiny changes to commenting and the source roots searched in JarJDKToolsLibrary and the
Show description for 578dd8dcommitted
Commits on Feb 16, 2023
Commits on Jan 30, 2023
- committed
Commits on Jan 24, 2023
Commits on Jan 15, 2023
Commits on Apr 15, 2020
Commits on Aug 13, 2019
This revision comments out two testDancingUI... methods in
Show description for 7e72720committedThis 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…
Show description for 5d50540committed
Commits on Nov 21, 2017
This revision consists of a simplified build.xml file and an expanded
Show description for 046954ccommitted
Commits on Nov 18, 2017
This revision is an attempt to eliminate all references to conc*.jar
Show description for a8ce48bcommitted
Commits on Sep 28, 2017
Merge pull request #8 from elsaturnino/master
Show description for 9a05c29authored
Commits on Jun 14, 2017
This revision apparently fixes a bug in the global replace command
Show description for 6bff7c5committed
Commits on Jan 13, 2017
Commits on Sep 14, 2016
This revision consists of a tiny semantic change in
Show description for f1caed5committed
Commits on Sep 7, 2016
This revision cleans up build.xml and some top-level code in the interpreter.
Show description for 95455bacommitted
Commits on Aug 29, 2016
\This revision cleans up the code in FindReplaceMachine.java which was
Show description for 577d0dfcommitted
Commits on Aug 23, 2016
This revison fixes a bug in the "open project" command. If a project was
Show description for 666dbbbcommitted
Commits on Jul 19, 2016
This revision updates the version of jacoco in drjava/lib to the
Show description for 96d25dacommitted
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 May 17, 2016
This commit updates build.xml in javalanglevels to use Java 8 instead
Show description for c83d690authored andcommitted
Commits on Dec 18, 2015
This revision deletes all references to Java 6 in build.xml. DrJava
Show description for 6199d80committed
Commits on Nov 23, 2015
This revision primarily cleans up the formatting of the code base and
Show description for 419828ecommitted
Commits on Nov 9, 2015
Commits on Nov 3, 2015
This revision cleans up build.xml and slightly cleans up the testing
Show description for 968df10committed
Commits on Oct 19, 2015
- committed
Commits on Oct 9, 2015
Merge branch 'master' of https://github.com/DrJavaAtRice/drjava into codecoverage
Show description for b488e25committed