← Back to branch summary

~tapaal-contributor/tapaal/disappearing-tokens-1940098

Viewing all changes in revision 1119.

  • Committer: Jiri Srba
  • Date: 2021-02-28 13:58:39 UTC
  • mfrom: (1112.2.6 add-tar-option)
  • Revision ID: srba@cs.aau.dk-20210228135839-yxy8ljbc89ou0woi
merged in lp:~tapaal-contributor/tapaal/add-tar-option adding the -tar option for the verifypn engine

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: