TAPAAL

lp:~tapaal-contributor/tapaal/save-as-fix-1648076

Created by Mads Johannsen on 2016-12-08 and last modified on 2016-12-08

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/save-as-fix-1648076

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 938

Jiri Srba: Approve on 2016-12-11

Critical

Fix Released

939. By Mads Johannsen on 2016-12-08: Use tabs
938. By Mads Johannsen on 2016-12-08: Rename filepath for OS X users
937. By Jiri Srba on 2016-11-27: merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow
936. By Jiri Srba on 2016-11-12: merged in branch timed-to-untimed-fix-1625989 additing new tool for untiming a net
935. By Jiri Srba on 2016-10-13: merged in branch adding a checkbox in View menu to display 0-age tokens as dots
934. By Jiri Srba on 2016-05-07: merged in branch transition-rotation-fix-1550895 fixing the
rotation of transitions in tikz export
933. By Jiri Srba <email address hidden> on 2016-05-04: merged in branch slash-in-name-fix-1575006
932. By Jiri Srba <email address hidden> on 2016-05-04: merged in branch disable-edit-statistics-fix-1575015
931. By Mads Johannsen on 2016-03-17: by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba
930. By Mads Johannsen on 2016-03-15: right-click context menu is now enabled only for the select tool (fixes bug 1544465) by TAPAAL Contributors review by Jiri Srba approved by Jiri Srba

This branch contains Public information

Everyone can see this information.