Viewing all changes in revision 1168.
- Committer: Jiri Srba
- Date: 2022-02-10 10:40:45 UTC
- mfrom: (1167.1.1 fixTAPNdi)
- Revision ID: srba.jiri@gmail.com-20220210104045-mjl932jebcf62njc
merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn
- files modified:
- src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java
expand all
collapse all
added
removed
