release/include/CHANGES.md

src/main/java/nl/utwente/groove/gui/Icons.java

src/main/java/nl/utwente/groove/gui/Options.java

src/main/java/nl/utwente/groove/gui/Simulator.java

src/main/java/nl/utwente/groove/gui/action/ExportAction.java

.../java/nl/utwente/groove/gui/action/FindReplaceAction.java

src/main/java/nl/utwente/groove/gui/action/LayoutAction.java

.../java/nl/utwente/groove/gui/action/SelectColorAction.java

...java/nl/utwente/groove/gui/dialog/GraphPreviewDialog.java

...in/java/nl/utwente/groove/gui/display/DismissDelayer.java

...ain/java/nl/utwente/groove/gui/display/DisplaysPanel.java

...in/java/nl/utwente/groove/gui/display/GraphEditorTab.java

src/main/java/nl/utwente/groove/gui/display/GraphTab.java

src/main/java/nl/utwente/groove/gui/display/LTSDisplay.java

...main/java/nl/utwente/groove/gui/display/StateDisplay.java

src/main/java/nl/utwente/groove/gui/jgraph/AJCell.java

src/main/java/nl/utwente/groove/gui/jgraph/AJEdge.java

src/main/java/nl/utwente/groove/gui/jgraph/AJVertex.java

src/main/java/nl/utwente/groove/gui/jgraph/AspectJCell.java

src/main/java/nl/utwente/groove/gui/jgraph/AspectJEdge.java