TAPAAL

lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892

Created by Mads Johannsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/cancel-arc-draw-fix-1718892
Members of TAPAAL Contributors can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Contributors
Project:
TAPAAL
Status:
Merged

Recent revisions

946. By Mads Johannsen

Modified how to handle arc drawing cancellation. Use key bindings instead of class ArcKeyboardEventHandler

945. By Jiri Srba

merged a bug fix for bug-1718610-wrong-letter-batch fixing wrong letter in batch processing for verifypn engine

944. By Jiri Srba <email address hidden>

updated icon to 3.3 version

943. By Jiri Srba <email address hidden>

changed minimum required version of verifydtapn to 3.2.1

942. By Jiri Srba <email address hidden>

merged in branch lp:~tapaal-contributor/tapaal/signed-integers-fix-1714815
allowing for negative constants in query expressions

941. By Jiri Srba <email address hidden>

merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367

940. By Jiri Srba <email address hidden>

merged in branch lp:~tapaal-contributor/tapaal/rapid-drawing-fix-810906
for fast drawing of place and transitions when ctl key is hold pressed

939. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 that adds rule E to statistics for structural net reductions (for Peter's new NewParser untimed engine)

938. By Jiri Srba

merged in branch lp:~tapaal-contributor/tapaal/save-as-fix-1648076 fixing "save as" on Mac OS X

937. By Jiri Srba

merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow

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.