Merge proposals
| Branch Merge Proposal | Status | Requested By |
|---|---|---|
| lp:~tapaal-approx/tapaal/TAPNComposerWithGUI ⇒ lp:tapaal | Merged | Jiri Srba |
| lp:~tapaal-approx/tapaal/tapaal-approx-new ⇒ lp:tapaal | Merged | Jiri Srba |
| 1 → 2 of 2 results | First • Previous • Next • Last |
