Viewing all changes in revision 1176.
- Committer: lsaid
- Date: 2023-01-09 11:11:07 UTC
- Revision ID: lena.said@hotmail.com-20230109111107-cv0tcnpfcgq8093m
Icon selection now considers LTL nodes
- files modified:
- src/dk/aau/cs/model/tapn/TAPNQuery.java
expand all
collapse all
added
removed
