TAPAAL

lp:tapaal/3.5

Created by Jiri Srba and last modified
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

Owner:
TAPAAL Maintainers
Project:
TAPAAL
Status:
Abandoned

Recent revisions

1015. By Jiri Srba <email address hidden>

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>

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

1013. By Jiri Srba <email address hidden>

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

1012. By <email address hidden>

This is the released version of 3.5.1.

1011. By <email address hidden>

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

1010. By <email address hidden>

increased version number to 3.5.1

1008. By <email address hidden>

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

1007. By Jiri Srba <email address hidden>

increased min version number of verifypn to 3.0.2

1006. By Jiri Srba

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:
lp:tapaal
This branch contains Public information 
Everyone can see this information.