Viewing all changes in revision 1117.
- Committer: Jiri Srba
- Date: 2020-12-18 15:26:50 UTC
- mfrom: (1064.2.16 show-reduced-net-1879130)
- Revision ID: srba@cs.aau.dk-20201218152650-6sydez0o0yyre22l
merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn
- files modified:
- gradlew *
expand all
collapse all
added
removed
