lp:tapaal

Created by Kenneth Yrke Jørgensen on 2011-01-18 and last modified on 2020-02-03
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

1035. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~yrke/tapaal/updatedVersionCheckURL with new URL for version check

1034. By Jiri Srba <email address hidden> on 2020-02-03

merged in lp:~tapaal-contributor/tapaal/open-arg-file-1855267 allowing to call tapaal with an argument (.tapn file)

1033. By Jiri Srba <email address hidden> on 2020-01-20

merged in lp:~yrke/tapaal/updated-launch4j-config fixing launch4j script

1031. By Jiri Srba <email address hidden> on 2019-12-03

merged in lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 fixing focus in the automatic layout dialog

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.