TAPAAL

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

Created by Jakob Dyhr and last modified
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

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

1040. By Mads Johannsen

Move play game button

1039. By Mads Johannsen

Merge with branch ctl-query-fix-1540367

1038. By Mads Johannsen

Merge with tapaal

1037. By Mads Johannsen

Merge and tooltip

1036. By Mads Johannsen

More tooltip text

1035. By Mads Johannsen

Merge

1034. By Mads Johannsen

Tooltip

1033. By Mads Johannsen

Refactor cell renderer

1032. By Mads Johannsen

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.