Viewing all changes in revision 1014.
- Committer: Marco Muñiz
- Date: 2020-06-10 02:53:53 UTC
- Revision ID: muniz@cs.aau.dk-20200610025353-iwqtvapz234h72gl
adding hack for _unc_ transitions
- files modified:
- src/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNExporter.java
expand all
collapse all
added
removed
