lp:~tapaal-contributor/tapaal/Remove-ExportPNXML-button-1718642
- Get this branch:
- bzr branch lp:~tapaal-contributor/tapaal/Remove-ExportPNXML-button-1718642
Branch merges
- Jiri Srba: Approve
-
Diff: 35 lines (+5/-5)1 file modifiedsrc/pipe/gui/widgets/CTLQueryDialog.java (+5/-5)
Related bugs
Bug #1718642: Export PN XML - remove from CTL dialog | Critical | Fix Released |
Related blueprints
Branch information
Recent revisions
- 962. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/weight-values-fix-1770637
fixing PNML export and Composer where arc weights were constant names
and should be exported as values instead - 961. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML - 960. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/GUI-and-reduction-rules-1768066
adding the statistics of reduction rules A-I - 959. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/Rename-transition-error-1767489
fixing an un-cought exception when renaming a transition to nonvalid name - 958. By Jiri Srba
-
merged in branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615
fixing an export of XML queries - 957. By Jiri Srba <email address hidden>
-
merged in branch lp:~yrke/tapaal/tapaal-fix-1764383-MacHandling
mixing feel and look for Mac os X with Java 9 (About menu is not working yet)
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal