~verifypn-maintainers/verifypn/u3.1

Viewing all changes in revision 228.

  • Committer: Jiri Srba
  • Date: 2020-10-31 18:54:26 UTC
  • mfrom: (226.1.3 show-reduced-net)
  • Revision ID: srba@cs.aau.dk-20201031185426-40zgypcd8b1651tc
merged in lp:~tapaal-contributor/verifypn/show-reduced-net adding x,y positions when exporting reduced net

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: