lp:~marmux/tapaal/tapaal-timed-games

Branch merges

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

1059. By muniz on 2020-06-10

adding hack for _unc_ transitions

1058. By muniz on 2020-06-09

an initial test

1057. By Jiri Srba on 2020-06-01

merged in lp:~tapaal-contributor/tapaal/display-shared-places-transitions-1879126 allowing to independently display the shared places/transitions

1056. By Jiri Srba on 2020-05-25

merged in branch lp:~yrke/tapaal/removeNetType removing unused net type UNTIMED

1055. By Jiri Srba on 2020-05-25

merged in lp:~tapaal-contributor/tapaal/zoom-in-smartdraw-1870896 fixing zooming in smart draw

1054. By Jiri Srba on 2020-05-25

merged in lp:~yrke/tapaal/positionAsInt fixing positions to integers instead of doubles

1053. By Jiri Srba on 2020-05-16

merged in lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-1870894 fixing undo/redo for moving items in the pannels using buttons up/down

1052. By Jiri Srba on 2020-05-16

merged in lp:~tapaal-contributor/tapaal/only-dirs-batch-export-1870887 fixing folder selection in batch export (for Mac only partial fix)

1051. By Jiri Srba on 2020-05-10

merged in lp:~yrke/tapaal/remoteUnusedFunction-updateTooltip removing deadcode (updateToolTip)

1050. By Jiri Srba on 2020-05-10

merged in lp:~tapaal-contributor/tapaal/undo-redo-batchprocessing-1870904 fixing redo/undo in batch processing in the file add/remove dialog