Viewing all changes in revision 245.

Committer: srba.jiri at gmail
Date: 2021-07-18 12:40:17 UTC
mfrom: <a title="Merged From 243.1.4" href="/~tapaal-ltl/verifypn/fireable-empty-preset-fix/revision/243.1.4">(243.1.4 Fix-partitioning-1934103)
Revision ID: srba.jiri@gmail.com-20210718124017-xw8z4h3dzupsopur

merged in lp:~tapaal-contributor/verifypn/Fix-partitioning-1934103 fixing issue with unfolding

added added

removed removed