Viewing all changes in revision 1070.
- Committer: tpede16 at aau
- Date: 2020-10-15 15:44:06 UTC
- Revision ID: tpede16@student.aau.dk-20201015154406-t7b7t2bf2ey4b508
Add option to open reduced net from the query dialog panel
- files modified:
- src/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java
expand all
collapse all
added
removed
