← Back to branch summary

~yrke/tapaal/more-testing-and-refactorings

~yrke/tapaal/more-testing-and-refactorings

Viewing all changes in revision 1155.

Committer: Kenneth Yrke Joergensen
Date: 2020-08-30 09:30:27 UTC
mfrom: (1071.2.19 tapaal)
Revision ID: kenneth@yrke.dk-20200830093027-s2gunftpk1qmbuyc

Merged with trunk

files added:
src/resources/Images/Uncontrollable transition.png

files removed:
src/pipe/gui/widgets/CTLQueryDialog.java

files modified:
src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/util/MemoryMonitor.java

src/net/tapaal/swinghelpers/ToggleButtonWithoutText.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/AnimationHistorySidePanel.java

src/pipe/gui/Pipe.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

Show diffs side-by-side

added added

removed removed

src/dk/aau/cs/gui/TabContent.java

src/dk/aau/cs/util/MemoryMonitor.java

src/net/tapaal/swinghelpers/ToggleButtonWithoutText.java

src/pipe/dataLayer/TAPNQuery.java

src/pipe/gui/AnimationHistorySidePanel.java

src/pipe/gui/Pipe.java

src/pipe/gui/graphicElements/tapn/TimedTransportArcComponent.java

src/pipe/gui/handler/TransitionHandler.java

src/pipe/gui/widgets/CTLQueryDialog.java

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

src/resources/Images/Uncontrollable transition.png

Older »