Viewing all changes in revision 1041.
- Committer: Mads Johannsen
- Date: 2017-07-25 10:08:30 UTC
- Revision ID: mjohan12@student.aau.dk-20170725100830-i4xd1yzdqhyz4gnr
Save verification command to be able to re-execute it in game mode
- files modified:
- src/dk/aau/cs/verification/VerifyTAPN/VerifyPN.java
expand all
collapse all
added
removed
