lp:~tapaal-contributor/tapaal/cut-names-1923011

Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/cut-names-1923011
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

1129. By Peter Taankvist <email address hidden> on 2021-04-08

Increase width of zoomComboBox slightly so it fits on Ubuntu

1128. By Peter Haahr Taankvist on 2021-04-08

Change preferred sizes to use height from Look and Feel

1127. By Jiri Srba on 2021-04-05

updated copyright and new contributors

1126. By Jiri Srba on 2021-04-04

merged in lp:~tapaal-contributor/tapaal/token-truncation-bug-1918913 allows to show more tokens and when limit exceeded, it shows >99999999

1125. By Jiri Srba on 2021-04-04

increased min version number for verifypn to 4.0.0

1124. By Jiri Srba on 2021-04-04

updated icon to 3.8

1123. By Jiri Srba on 2021-04-03

merged in lp:~tapaal-contributor/tapaal/dialog-always-on-top-1918912 fixing a problem with the layout dialog being on top of all other windows when working

1122. By Jiri Srba on 2021-04-03

merged in lp:~tapaal-contributor/tapaal/query-parsing-bug-1921580 fixing a problem with using wrong parser when manually parsing CTL queries

1120. By Jiri Srba on 2021-03-04

merged in lp:~tapaal-contributor/tapaal/save-tar-option that allows to save -tar option to .tapn file

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.