Viewing all changes in revision 962.
- Committer: Jiri Srba
- Date: 2018-05-13 20:07:04 UTC
- mfrom: (961.1.1 tapaal)
- Revision ID: srba@cs.aau.dk-20180513200704-wpi90ks1l4wmji43
merged in branch lp:~tapaal-contributor/tapaal/weight-values-fix-1770637
fixing PNML export and Composer where arc weights were constant names
and should be exported as values instead
fixing PNML export and Composer where arc weights were constant names
and should be exported as values instead
expand all
collapse all
added
removed
