Viewing all changes in revision 231.1.14.
- Committer: srba.jiri at gmail
- Date: 2021-04-16 18:53:36 UTC
- mto: This revision was merged to the branch mainline in revision 232.
- Revision ID: srba.jiri@gmail.com-20210416185336-kl24tmf0wv1bun28
added info on LTL to --help output
- files modified:
- src/VerifyPN.cpp
expand all
collapse all
added
removed
