TAPAAL

lp:~tapaal-contributor/tapaal/fix1953355

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/fix1953355
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1490. By Kenneth Yrke Jørgensen

ColorTypes, Colors, Variables and Constant named must be unique ignored case

Also fixes and bug where you could add several Colors of the same name to an color type

1489. By Kenneth Yrke Jørgensen

Fixed Enum Color not checking variable named and added check when adding enum type

1488. By Kenneth Yrke Jørgensen

Added extra check to distinct color, colortype,variable and constants

1487. By Kenneth Yrke Jørgensen

Fixes #1953355 - Variable, Color and Color Type names must be unique

1486. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fix-CPN-statistics-1952524 fixing showing of statistics for CPN nets

1485. By Peter G. Jensen <email address hidden>

Merged

1484. By Peter G. Jensen <email address hidden>

fixed calling of unfolding, removed unused file-paths

1483. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/cpn-disable-.all-transport-arcs-1952522 removing the .all options from transport arc edit dialog

1482. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/cpn-fix-missing-shortcut-1952521 fixing missing shortcut for PNML import

1481. By Lena Ernstsen

Made it possible to have a colored game net

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.