← Back to branch summary

~tapaal-contributor/tapaal/add-java-info-1890600

~tapaal-contributor/tapaal/add-java-info-1890600

Viewing all changes in revision 1064.

Committer: Jiri Srba
Date: 2020-06-22 08:06:22 UTC
mfrom: (1056.1.4 updateResourceManager-2)
Revision ID: srba@cs.aau.dk-20200622080622-e1sch62z89m1qgpn

merged in lp:~yrke/tapaal/updateResourceManager-2 fixing loading of images

files added:
src/net/tapaal/resourcemanager

files renamed:
src/dk/aau/cs/io/ResourceManager.java => src/net/tapaal/resourcemanager/ResourceManager.java

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

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

src/dk/aau/cs/gui/smartDraw/SmartDrawDialog.java

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

src/pipe/gui/CreateGui.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/RunKBoundAnalysis.java

src/pipe/gui/VersionChecker.java

src/pipe/gui/action/GuiAction.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/QueryPane.java

Show diffs side-by-side

added added

removed removed

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

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

src/dk/aau/cs/gui/smartDraw/SmartDrawDialog.java

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

src/net/tapaal/resourcemanager/

src/net/tapaal/resourcemanager/ResourceManager.java

src/pipe/gui/CreateGui.java

src/pipe/gui/GuiFrame.java

src/pipe/gui/GuiFrameController.java

src/pipe/gui/RunKBoundAnalysis.java

src/pipe/gui/VersionChecker.java

src/pipe/gui/action/GuiAction.java

src/pipe/gui/widgets/ConstantsPane.java

src/pipe/gui/widgets/QueryPane.java

Older »