Viewing all changes in revision 1019.
- Committer: srba.jiri at gmail
- Date: 2019-10-16 11:42:07 UTC
- Revision ID: srba.jiri@gmail.com-20191016114207-266uyf166rndry0c
increase version number to 3.6.0
- files modified:
- src/net/tapaal/TAPAAL.java
expand all
collapse all
added
removed
