Viewing all changes in revision 819.
- Committer: launchpad-janitor
- Date: 2013-11-02 11:50:31 UTC
- mfrom: (818.1.1 invariantsForgottenBug)
- Revision ID: tapaal@cs.aau.dk-20131102115031-j9770zbg3co4shos
Invariant is now not changed to that of shared transition if the shared transition is not used anywhere. by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
- files modified:
- src/pipe/gui/widgets/PlaceEditorPanel.java
expand all
collapse all
added
removed
