TAPAAL

lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:~yrke/tapaal/tapaal-fix-1855675-notWorkingWithLatestUPPAAL
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

1034. By Kenneth Yrke Jørgensen

Updated uppaal version number to match rev. 5648.

1033. By Kenneth Yrke Jørgensen

Fixes bug #1855675 TAPAAL is not working with latest version of UPPAAL

Changed version check from using rev. to version number.

1032. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/export-import-PNML-1853823 fixing saving/loading of PNML files

1031. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/focus-in-automatic-layout-1853903 fixing focus in the automatic layout dialog

1030. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/loading-of-large-nets-1848945 fixing loading of large nets speed

1029. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/annotation-note-close-1849639 fixing the closing of annotation using the x

1028. By Jiri Srba

merged in lp:~yrke/tapaal/tapaal-fixes-1849786-arcJumpsBetweenTransitions fixing arcs jumping when transitions are too close to each other

1027. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/rollercoaster-example-loading-fail-1850713 fixing loading of nets in the old format

1026. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/undo-redo-not-available-when-drawing-arc-1848949 fixing undo when drawing an arc

1025. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/notes-hides-namelabels-1848947 so that annotations do not hide any labels

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.