TAPAAL

lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689

Created by Lena Ernstsen on 2021-10-25 and last modified on 2021-11-05

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/merge-components-changed-lens-1947689

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 1156

Jiri Srba: Approve on 2021-11-05

Undecided

Fix Committed

1156. By Lena Ernstsen on 2021-11-05: Lens is considered when merging components through query dialog
1155. By Lena Ernstsen on 2021-10-25: Fixed wrong use of lens when merging net components
1154. By Jiri Srba <email address hidden> on 2021-10-21: merged in lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 fixing tikz export
1153. By <email address hidden> on 2021-10-17: merging in lp:~tapaal-contributor/tapaal/LTL-dialog adding LTL query editing to GUI
1152. By <email address hidden> on 2021-10-17: merged in lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 properly displaying the infinity symbol
1151. By <email address hidden> on 2021-10-17: updated icon to 3.9
1150. By Jiri Srba on 2021-10-11: merged in lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 and enables ctrl-Z and ctrl-Y in query dialog
1149. By Jiri Srba on 2021-10-02: merged in lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821 fixing boundedness check in workflow analysis
1148. By Jiri Srba on 2021-09-30: merged in lp:~tapaal-contributor/tapaal/open-incorrectly-formatted-file fixing the dialog with information about wrong formated file to be open
1147. By Jiri Srba <email address hidden> on 2021-09-30: merged in lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415 fixing a problem with eenabledness of buttons in constant panel when doing undo/redo

This branch contains Public information

Everyone can see this information.