lp:tapaal

Created by Kenneth Yrke Jørgensen on 2011-01-18 and last modified on 2019-08-16
Get this branch:
bzr branch lp:tapaal
Members of TAPAAL Developers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Developers
Project:
TAPAAL
Review team:
TAPAAL Reviewers
Status:
Development

Recent revisions

1011. 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 tab that is not active

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

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

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

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

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

merged in lp:~yrke/tapaal/fix-1821164-exceptionInEngineCheck fixing a problem with engine selection and invalid binaries

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

increased min version of verifypn to 3.0.2

Branch metadata

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