← Back to branch summary

~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

Viewing all changes in revision 1076.

Committer: lsaid
Date: 2020-07-27 07:17:11 UTC
Revision ID: lena.said@hotmail.com-20200727071711-quphze0dqfwgco9o

Net information is saved correctly.

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

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

src/pipe/dataLayer/Template.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/io/TimedArcPetriNetNetworkWriter.java

src/pipe/dataLayer/Template.java

src/pipe/gui/widgets/QueryPane.java

Older »