Created by Lena Ernstsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/fix-double-undo
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Contributors

Recent revisions

1129. By Lena Ernstsen

Fix needing to press undo/redo twice after specific actions

1128. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/cut-names-1923011 fixing a problem with box heights on linux

1127. By Jiri Srba

updated copyright and new contributors

1126. By Jiri Srba

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

increased min version number for verifypn to 4.0.0

1124. By Jiri Srba

updated icon to 3.8

1123. By Jiri Srba

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

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

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