lp:tapaal/3.7

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

Owner:
TAPAAL Maintainers
Project:
TAPAAL
Status:
Development

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