Created by Mark Glavind on 2018-09-21 and last modified on 2019-03-20
Get this branch:
bzr branch lp:~cpn-gui/tapaal/cpn-editor
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

1020. By Mark Glavind 12 hours ago

merged new fixes from savePNML

1019. By Mark Glavind on 2019-03-19

merge from savePNML, feature finished

1018. By Mark Glavind on 2019-03-14

merge from transportArc, feature finished

1017. By Mark Glavind on 2019-03-13

merge from color-time constraint. MVP completed

1016. By Mark Glavind on 2019-02-28

merge from arcColorTime, feature finished

1015. By Mark Glavind on 2019-02-21

merge from Typechecker - feature finished

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

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.