TAPAAL

lp:~tapaal-contributor/tapaal/Gui-freeze-1896457

Created by Peter Haahr Taankvist on 2020-09-22 and last modified on 2020-10-31

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.

Merged into lp:tapaal at revision 1109

Jiri Srba: Approve on 2020-10-30

Peter Haahr Taankvist (community): Resubmit on 2020-10-30

Kenneth Yrke Jørgensen: Needs Fixing on 2020-10-30

Undecided

Fix Released

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

This branch contains Public information

Everyone can see this information.