Created by Mark Glavind on 2019-02-07 and last modified on 2019-02-19
Get this branch:
bzr branch lp:~cpn-gui/tapaal/safePNML
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

1014. By Mark Glavind on 2019-02-19

merge from trunk

1013. By Niels Christensen on 2019-02-18

Merged defaultValues into branch

1012. By Mark Glavind on 2019-01-09

merge from BugFixing

1011. By Mark Glavind on 2018-12-21

places can now have a colortype without having any tokens

1010. By Mark Glavind on 2018-12-21

general bugfixing place editor for colored

1009. By Mark Glavind on 2018-12-20

working on bug in placeeditor that makes pc freeze

1008. By Niels Christensen on 2018-12-20

Fixing importing bugs

1007. By Mark Glavind on 2018-12-20

merged in from master branch to get the latest changes

1006. By Mark Glavind on 2018-12-20

fixed bugs in pnmlLoader for arcExpressions and for transitions naming convention

1005. By Mark Glavind on 2018-12-20

 merge from expressionsPrint

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.