Merge proposals dependent on lp:~tapaal-contributor/tapaal/cpn-trace

lp:~tapaal-contributor/tapaal/cpn-trace has no merge proposals.