~tapaal-ltl/verifypn/fireable-empty-preset-fix

Viewing all changes in revision 243.

  • Committer: srba.jiri at gmail
  • Date: 2021-07-07 12:02:50 UTC
  • mfrom: (233.1.63 update-parser)
  • Revision ID: srba.jiri@gmail.com-20210707120250-f86fv0m9ycbge3qs
merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: