Menu

Legacy SVN Repository Commit Log


Commit Date  
[r4296] by mgricken

Syntax error in last commit.
Addresses bug [ 1815387 ] Editor should discard parse errors for now
We should upgrade our parser to handle @
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java

2008-01-06 07:26:01 Tree
[r4295] by mgricken

Addresses bug [ 1815387 ] Editor should discard parse errors for now
We should upgrade our parser to handle @
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java

2008-01-06 07:09:54 Tree
[r4294] by mgricken

Addresses bug [ 1815387 ] Editor should discard parse errors for now
We should upgrade our parser to handle @
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java

2008-01-06 07:03:19 Tree
[r4293] by mgricken

Addresses bug [ 1815387 ] Editor should discard parse errors for now
We should upgrade our parser to handle @
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java

2008-01-06 07:02:44 Tree
[r4292] by mgricken

Fixed error in refactoring from r3839. So far inconsequential because unused.
M src/edu/rice/cs/drjava/ui/config/OptionComponent.java

2007-12-27 16:00:45 Tree
[r4291] by mgricken

Fixed error in refactoring from r3839. So far inconsequential because unused.
M src/edu/rice/cs/drjava/ui/config/OptionComponent.java

2007-12-27 15:59:54 Tree
[r4290] by mgricken

Addresses bug [ 1857120 ] Main Document not created. Does not create
the document, but the NullPointerException does not occur anymore.
M branches/drjava-4268-4286/src/edu/rice/cs/util/swing/FileSelectorComponent.java

2007-12-24 06:57:40 Tree
[r4289] by mgricken

Addresses bug [ 1857120 ] Main Document not created. Does not create
the document, but the NullPointerException does not occur anymore.
M trunk/drjava/src/edu/rice/cs/util/swing/FileSelectorComponent.java

2007-12-24 06:47:23 Tree
[r4288] by mgricken

Created tag drjava-beta-20071221-0013

2007-12-21 00:33:24 Tree
[r4287] by mgricken

DrJava branch for December 2007 beta; based on revision 4268 with changes from 4286; excluding revisions between those two.

2007-12-20 21:59:32 Tree
Older >
MongoDB Logo MongoDB