Viewing all changes in revision 915.
- Committer: launchpad-janitor
- Date: 2015-11-08 17:30:55 UTC
- mfrom: (911.3.16 make-shared-context)
- Revision ID: tapaal@cs.aau.dk-20151108173055-dyicahctry6ut2bb
In place and transition context dialog it is now possible to make it a shared one but pressing a "make shared" button. by TAPAAL Contributors review by Jiri Srba approved by Jakob Taankvist, Jiri Srba
- files modified:
- src/dk/aau/cs/gui/SharedPlacesAndTransitionsPanel.java
expand all
collapse all
added
removed
