TAPAAL

lp:~tapaal-contributor/tapaal/png-margins-fix-1762562

Created by Jacob Hjort Bundgaard on 2018-04-11 and last modified on 2018-04-16

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/png-margins-fix-1762562

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 955

Jiri Srba: Approve on 2018-04-16

High

Fix Released

955. By Jiri Srba <email address hidden> on 2018-04-16: updated the contributors
954. By Jiri Srba <email address hidden> on 2018-04-16: merged in trunk
953. By Jacob Hjort Bundgaard on 2018-04-11: Crop whitespace around exported PNG images before saving them.
952. By Jiri Srba on 2018-04-05: 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> on 2018-02-15: updated list of contributors to TAPAAL GUI
950. By Jiri Srba <email address hidden> on 2018-02-15: merged in branch lp:~tapaal-contributor/tapaal/partial-order that
adds stubborn set option to batch processing
949. By Jiri Srba <email address hidden> on 2018-01-18: updated icon to 3.4
948. By Jiri Srba on 2018-01-13: increased minimum version numbers for verifydtapn and verifypn and changed copyright upto 2018
947. By Jiri Srba on 2018-01-13: merged in branch lp:~tapaal-contributor/tapaal/reachability-query-dialog-stubborn-reduction adding partial order reduction for verifydtapn
946. By Jiri Srba <email address hidden> on 2017-10-04: merged in branch lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892 fixing
escaping from drawing an arc with multiple anchor points

This branch contains Public information

Everyone can see this information.