lp:~cpn-gui/tapaal/cpn-editor

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

Owner:
cpn-gui
Project:
TAPAAL
Status:
Development

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:
lp:tapaal
This branch contains Public information 
Everyone can see this information.

Subscribers