Created by Jiri Srba on 2020-09-17 and last modified on 2020-10-09
Get this branch:
bzr branch lp:tapaal/3.7
Members of TAPAAL Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

TAPAAL Maintainers

Recent revisions

1108. By Jiri Srba on 2020-10-09

merged in bzr merge lp:~yrke/tapaal/arcpathpoint-issues fixing behaviour when dragging anchor points on arcs

1107. By Jiri Srba on 2020-09-24

merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 fixing problem with timed intervals being shown on output arcs

1106. By <email address hidden> on 2020-09-23

merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 fixing a missing verifytapn engine in the query dialog

1105. By <email address hidden> on 2020-09-23

merged in lp:~tapaal-contributor/tapaal/Typos-1896460 fixing text typos

1104. By <email address hidden> on 2020-09-23

merged in lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 disabelgin workflow analysis for games

1103. By <email address hidden> on 2020-09-17

changed version number to 3.7.0

1102. By Jiri Srba on 2020-09-16

merged in lp:~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108 fixing problem with undo when objects are selected

1101. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO fixing accidental rotation of transitions and adding tokens to places - now it is enabled only if the places/transition is selected

1100. By Jiri Srba on 2020-09-16

merged in lp:~yrke/tapaal/fix1879032-workflowanalysis fixing problem with showing workflow traces

1099. By Jiri Srba on 2020-09-12

upgraded icon to 3.7

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.