Viewing all changes in revision 1069.
- Committer: tpede16 at aau
- Date: 2020-09-18 06:58:16 UTC
- Revision ID: tpede16@student.aau.dk-20200918065816-kx8iemt0xqih8ego
Link reduced file with button and create tab for reduced net
- files modified:
- src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java
expand all
collapse all
added
removed
