lp:~yrke/tapaal/fix1947517-2

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~yrke/tapaal/fix1947517-2
Only Kenneth Yrke Jørgensen can upload to this branch. If you are Kenneth Yrke Jørgensen please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Kenneth Yrke Jørgensen
Project:
TAPAAL
Status:
Merged

Recent revisions

1155. By Kenneth Yrke Jørgensen

Fixed bug #1947517, no popup on arcpathpoint

Fixes a bug where rightclicking on an arcpath point would not
display the popup menu.
Also fixes a bug where a NPE would be throw if you right clicked on the
first archpath point.

1154. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642 fixing tikz export

1153. By <email address hidden>

merging in lp:~tapaal-contributor/tapaal/LTL-dialog adding LTL query editing to GUI

1152. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 properly displaying the infinity symbol

1151. By <email address hidden>

updated icon to 3.9

1150. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 and enables ctrl-Z and ctrl-Y in query dialog

1149. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/workflow-analysis-npe-1945821 fixing boundedness check in workflow analysis

1148. By Jiri Srba

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>

merged in lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415 fixing a problem with eenabledness of buttons in constant panel when doing undo/redo

1146. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/manual-edit-parsing fixing a problem with the manual query parser

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.