TAPAAL

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

Created by Peter Haahr Taankvist on 2021-04-08 and last modified on 2021-04-08

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.

No branches dependent on this one.

Merged into lp:tapaal at revision 1128

Jiri Srba: Approve on 2021-04-09

Kenneth Yrke Jørgensen: Approve (code) on 2021-04-08

Medium

Fix Committed

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
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
1121. By Kenneth Yrke Jørgensen on 2021-03-24: Merged branch lp:~yrke/tapaal/github-actions
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

This branch contains Public information

Everyone can see this information.