lp:~tapaal-contributor/tapaal/ctl-game

Created by Jakob Dyhr on 2016-08-01 and last modified on 2017-07-25
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/ctl-game
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:
Development

Recent revisions

1041. By Mads Johannsen on 2017-07-25

Save verification command to be able to re-execute it in game mode

1040. By Mads Johannsen on 2017-07-25

Move play game button

1039. By Mads Johannsen on 2017-07-24

Merge with branch ctl-query-fix-1540367

1038. By Mads Johannsen on 2017-07-24

Merge with tapaal

1037. By Mads Johannsen on 2016-08-31

Merge and tooltip

1036. By Mads Johannsen on 2016-08-31

More tooltip text

1035. By Mads Johannsen on 2016-08-31

Merge

1034. By Mads Johannsen on 2016-08-31

Tooltip

1033. By Mads Johannsen on 2016-08-31

Refactor cell renderer

1032. By Mads Johannsen on 2016-08-30

Class name refactoring, added tooltip, and merge

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.