Viewing all changes in revision 964.
- Committer: Jiri Srba
- Date: 2018-06-29 07:34:20 UTC
- Revision ID: srba.jiri@gmail.com-20180629073420-dbjsfkhfujuzq6c8
increased version number to 3.4.3 and min version for verifypn to 3.0.1
- files modified:
- src/net/tapaal/TAPAAL.java
expand all
collapse all
added
removed
