Menu ▾ ▴

Commit [r5676]  Maximize  Restore  History

Indenting appears to be in good shape with no glaring bugs. This commit

primarily changes the build file build.xml to use "drscala" as project
name instead of "drjava".

The following files were modified:

M drjava/src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleWithTrace.java
M drjava/src/edu/rice/cs/drjava/model/AbstractDJDocument.java
M drjava/build.xml

rcartwright 2012-08-17

Browse code at this revision

Parent: [r5675]

Child: [r5677]

changed /branches/drscala/drjava/build.xml
changed /branches/drscala/drjava/src/edu/rice/cs/drjava/model/AbstractDJDocument.java
changed /branches/drscala/drjava/src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleWithTrace.java
/branches/drscala/drjava/build.xml Diff Switch to side-by-side view
Loading...
/branches/drscala/drjava/src/edu/rice/cs/drjava/model/AbstractDJDocument.java Diff Switch to side-by-side view
Loading...
/branches/drscala/drjava/src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleWithTrace.java Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB