lp:~tapaal-contributor/tapaal/query-export-bug-1767615

Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/query-export-bug-1767615
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

958. By Jiri Srba <email address hidden>

Fixes bug when exporting 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)

956. By Jiri Srba <email address hidden>

merged in branch lp:~tapaal-contributor/tapaal/select-all-1763193 enabeling ctrl/cmd-A on all components in focus

955. By Jiri Srba <email address hidden>

merged in branch lp:~tapaal-contributor/tapaal/png-margins-fix-1762562 fixing PNG export and updated list of contributors

954. By Jiri Srba <email address hidden>

merged in branch lp:~ptaank/tapaal/run-multiple-queries- that allows to select and verify multiple queries

953. By Jiri Srba <email address hidden>

merged in branch bzr merge lp:~yrke/tapaal/tapaal-fix-1756865 fixing broken Mac integration with Java 9 (by catching and ignoring the exception)

952. By Jiri Srba

merged in bzr merge lp:~tapaal-contributor/tapaal/query-to-CTL-conversion-fix-1751844 fixing a problem with conversion of Reachability to CTL queries

951. By Jiri Srba <email address hidden>

updated list of contributors to TAPAAL GUI

950. By Jiri Srba <email address hidden>

merged in branch lp:~tapaal-contributor/tapaal/partial-order that
adds stubborn set option to batch processing

949. By Jiri Srba <email address hidden>

updated icon to 3.4

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.