lp:tapaal/3.8

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1134. By Jiri Srba on 2021-10-11

merged in lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 and the ctrl-Z and ctrl-Y shortcuts now work in the query dialog

1133. By <email address hidden> on 2021-10-04

This is the released 3.8.1 version

1132. By <email address hidden> on 2021-10-03

merged with trunk, increased version number to 3.8.1 and min version nr. of verifypn to 4.1.0

1131. By Jiri Srba on 2021-04-09

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

1130. By Jiri Srba on 2021-04-06

Released version 3.8.0

1129. By Jiri Srba on 2021-04-05

updated copyright and new contributors

1128. By Jiri Srba on 2021-04-05

updated launch4j file

1127. By Jiri Srba on 2021-04-05

set version number to 3.8.0

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