Created by Jiri Srba on 2019-03-17 and last modified on 2019-05-21
Get this branch:
bzr branch lp:tapaal/3.5
Members of TAPAAL Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Maintainers

Recent revisions

1015. By Jiri Srba <email address hidden> on 2019-05-21

merged in lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218 fixing a problem with saving a net in a non-active tab

1014. By Jiri Srba <email address hidden> on 2019-05-21

merged in lp:~yrke/tapaal/tapaal-fix1827039-constantHightlight fixing constant highligting that didn't work after refactoring

1013. By Jiri Srba <email address hidden> on 2019-04-29

merged in lp:~tapaal-contributor/tapaal/ImpossibleToDeletePlace-1826206 fixing a problem with arc drawing when pressing ctrl-Z

1012. By <email address hidden> on 2019-04-23

This is the released version of 3.5.1.

1011. By <email address hidden> on 2019-04-23

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing a problem with wrongly selected binary

1010. By <email address hidden> on 2019-04-14

increased version number to 3.5.1

1008. By <email address hidden> on 2019-04-13

merged in lp:~tapaal-contributor/tapaal/fix-1769718-transitionsRedInEditMode fixing enabled tranisitions when selectin Advanced workspace

1007. By Jiri Srba <email address hidden> on 2019-03-28

increased min version number of verifypn to 3.0.2

1006. By Jiri Srba on 2019-03-27

merged in lp:~tapaal-contributor/tapaal/tikz-export-label-placement-1820528 that improves tikz export and name placement

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
This branch contains Public information 
Everyone can see this information.