← Back to branch summary

~tapaal-contributor/tapaal/autodetect-lens-check2

~tapaal-contributor/tapaal/autodetect-lens-check2

Viewing all changes in revision 1077.

Committer: Jiri Srba
Date: 2020-08-09 09:31:53 UTC
mfrom: (1053.5.45 implement-game-ui-1884499)
Revision ID: srba@cs.aau.dk-20200809093153-9hg3l5eiml2pyj73

merged in lp:~tapaal-contributor/tapaal/implement-game-ui-1884499 adding implementation of game UI

files added:
src/dk/aau/cs/gui/undo/ToggleTransitionUncontrollable.java

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

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java

src/dk/aau/cs/gui/undo/ToggleTransitionUrgent.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/io/queries/TAPNQueryLoader.java

src/dk/aau/cs/model/tapn/SharedTransition.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

src/dk/aau/cs/model/tapn/TimedTransition.java

src/dk/aau/cs/verification/TAPNComposer.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/TikZExporter.java

src/pipe/gui/Verifier.java

src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/Transition.java

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

src/pipe/gui/widgets/CTLQueryDialog.java

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

Show diffs side-by-side

added added

removed removed

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

src/dk/aau/cs/gui/undo/MakeTransitionNewSharedCommand.java

src/dk/aau/cs/gui/undo/MakeTransitionSharedCommand.java

src/dk/aau/cs/gui/undo/ToggleTransitionUncontrollable.java

src/dk/aau/cs/gui/undo/ToggleTransitionUrgent.java

src/dk/aau/cs/io/TapnXmlLoader.java

src/dk/aau/cs/io/TimedArcPetriNetNetworkWriter.java

src/dk/aau/cs/io/queries/TAPNQueryLoader.java

src/dk/aau/cs/model/tapn/SharedTransition.java

src/dk/aau/cs/model/tapn/TimedArcPetriNet.java

src/dk/aau/cs/model/tapn/TimedArcPetriNetNetwork.java

src/dk/aau/cs/model/tapn/TimedTransition.java

src/dk/aau/cs/verification/TAPNComposer.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPN.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNDiscreteVerification.java

src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java

src/pipe/gui/RunVerificationBase.java

src/pipe/gui/TikZExporter.java

src/pipe/gui/Verifier.java

src/pipe/gui/canvas/DrawingSurfaceImpl.java

src/pipe/gui/graphicElements/Transition.java

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

src/pipe/gui/widgets/CTLQueryDialog.java

src/pipe/gui/widgets/QueryDialog.java

src/pipe/gui/widgets/QueryPane.java

src/pipe/gui/widgets/TAPNTransitionEditor.java

Older »