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

Created by muniz on 2020-06-09 and last modified on 2020-06-10
Get this branch:
bzr branch lp:~marmux/tapaal/tapaal-timed-games
Only muniz can upload to this branch. If you are muniz please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
muniz
Project:
TAPAAL
Status:
Development

Recent revisions

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

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.

Subscribers