~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844

Viewing all changes in revision 948.

  • Committer: Jiri Srba
  • Date: 2018-01-13 20:58:46 UTC
  • Revision ID: srba@cs.aau.dk-20180113205846-hcwim1hlg21ygrms
increased minimum version numbers for verifydtapn and verifypn and changed copyright upto 2018

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: