Created by Peter Haahr Taankvist and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/Gui-freeze-1896457
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

1106. By Peter Haahr Taankvist on 2020-10-31

Removed debug lines

1105. By Peter Taankvist <email address hidden> on 2020-10-30

Clean up

1104. By Peter Taankvist <email address hidden> on 2020-10-09

Queryloader returns messages like TapnLoader does

1103. By Peter Haahr Taankvist on 2020-09-22

Thread error messages so that they do not freeze gui

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

1098. By <email address hidden> on 2020-09-11

updated minimum version of verifypn to 3.1.0

1097. By Jiri Srba <email address hidden> on 2020-09-10

increased the minimum version of verifydtapn to 3.4.0

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.