TAPAAL

lp:~tapaal-contributor/tapaal/fix-transition-name-highlighting-1952520

Created by Kristian Morsing Pedersen on 2021-11-29 and last modified on 2021-11-30

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/fix-transition-name-highlighting-1952520

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 1163

Jiri Srba: Approve on 2021-12-06

Undecided

Fix Committed

1164. By Kristian Morsing Pedersen <email address hidden> on 2021-11-30: Moved old 'bug-fix' code
1163. By Kristian Morsing Pedersen <email address hidden> on 2021-11-29: Fixed transition name hightlighting
1162. By Jiri Srba on 2021-11-23: updated the minimum required version of all three engines
1161. By Jiri Srba on 2021-11-20: merged in lp:~tapaal-contributor/tapaal/example-net-menus rearranging the examples in menu
1160. By Jiri Srba on 2021-11-20: merged in lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026 allowing to draw urgent/environmental transitions via icons
1159. By Jiri Srba on 2021-11-20: merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disabeling "toggle urgent transition (U)" in simulation mode
1158. By Jiri Srba on 2021-11-20: merged in lp:~tapaal-contributor/tapaal/fix-urgent-missing-check-1951292 fixing a problem with [0,inf) checking when pressing U (toggle urgent transition)
1157. By Jiri Srba on 2021-11-05: merged in lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 showing query string on mouseover
1156. By Jiri Srba <email address hidden> on 2021-11-05: merged in lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689 fixing problem with lens when merging components
1155. By Jiri Srba on 2021-11-04: merged in lp:~yrke/tapaal/fix1947517-2 fixing the problem with editing arc points

This branch contains Public information

Everyone can see this information.