TAPAAL

lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848

Created by Peter Haahr Taankvist on 2018-07-24 and last modified on 2018-08-10

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/interval-lables-on-arcs-1242848

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 970

Jiri Srba: Approve on 2018-08-10

Peter Haahr Taankvist (community): Needs Resubmitting on 2018-08-05

High

Fix Released

971. By Jiri Srba <email address hidden> on 2018-08-10: merged with trunk
970. By Peter Taankvist <email address hidden> on 2018-08-05: Conistency in how labels are updated on zoom
969. By Peter Taankvist <email address hidden> on 2018-08-05: Remember arc label postion when saving
968. By Peter Taankvist <email address hidden> on 2018-08-05: Handle zoom on labels like on other PNObjects
967. By Peter Taankvist <email address hidden> on 2018-07-24: Fix offset
966. By Peter Taankvist <email address hidden> on 2018-07-24: Add listeners to arcs
965. By <email address hidden> on 2018-07-06: merged in branch lp:tapaal/anniversary-next10 refactoring the GUI
964. By Jiri Srba <email address hidden> on 2018-06-29: increased min version number of verifypn to 3.0.1
963. By Jiri Srba <email address hidden> on 2018-05-28: added older commits to svn repository (historical data)
962. By Jiri Srba on 2018-05-13: merged in branch lp:~tapaal-contributor/tapaal/weight-values-fix-1770637
fixing PNML export and Composer where arc weights were constant names
and should be exported as values instead

This branch contains Public information

Everyone can see this information.