Activity for Eric E. Allen
-
Eric E. Allen committed [3fb08b]
Fixed updateStyles.
-
Added save, compile buttons.
-
Added UnexpectedException.
-
Fixed indentation in BackSlashTest.
-
Fixed indentation on several files; made some a...
-
More indentation fixes...
-
More indentation fixes.
-
More indentation fixes.
-
Added TabRemover class.
-
More indentation fixes. Still going...
-
Yet more indentations fixes... ugh...
-
Finished fixing indentation! Also, removed TabR...
-
In a DefinitionsDocument, if _tabsRemoved is tr...
-
Moved state constants for the reduced model int...
-
Reconstructed the set of states in the reduced ...
-
Massive refactoring of ReducedModelComment. Lof...
-
Lifted more code into AbstractReducedModel.
-
Added initial code for GlobalModel, with corres...
-
Added a lot of code in TypeStructureBuilder.
-
Added Pair class.
-
Added a bound on the size of the History.
-
Added the ability to scroll down to the end of ...
-
Added back SingleDisplayModelTest. It never sho...
-
Converted button labels to text.
-
Converted buttons to text.
-
Fixed menu items so that they're more descripti...
-
Added tooltip to Test button.
-
Added error dialog when Test is run on non-Test...
-
Fixed lots of bugs with the Test button.
-
Modified the typesetting in a few diagnostic er...
-
Commented out GUI links to JUnit integration, w...
-
Added missing javadoc package pages, improved j...
1