← Back to branch summary

~yrke/tapaal/updateResourceManager-2

~yrke/tapaal/updateResourceManager-2

Viewing all changes in revision 1056.

Committer: Jiri Srba
Date: 2020-05-25 19:02:55 UTC
mfrom: (998.15.5 removeNetType)
Revision ID: srba@cs.aau.dk-20200525190255-y8d88bw9pil8wpt6

merged in branch lp:~yrke/tapaal/removeNetType removing unused net type UNTIMED

files removed:
src/pipe/dataLayer/NetType.java

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

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

src/pipe/dataLayer/DataLayer.java

src/pipe/gui/AnimationController.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/TikZExporter.java

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

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/NewTAPNPanel.java

Show diffs side-by-side

added added

removed removed

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

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

src/pipe/dataLayer/DataLayer.java

src/pipe/dataLayer/NetType.java

src/pipe/gui/AnimationController.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/TikZExporter.java

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

src/pipe/gui/handler/ArcHandler.java

src/pipe/gui/handler/LabelHandler.java

src/pipe/gui/handler/TimedArcHandler.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/NewTAPNPanel.java

Older »