TAPAAL

lp:~tapaal-contributor/tapaal/merge-query-dialogs

Created by Lena Ernstsen and last modified
Get this branch:
bzr branch lp:~tapaal-contributor/tapaal/merge-query-dialogs
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

1095. By Lena Ernstsen

Symmetry checkbox should be checked correctly.

1094. By Lena Ernstsen

Minor fix with which boxes are enabled

1093. By Lena Ernstsen

Merged with trunk

1092. By Lena Ernstsen

Fixed wrong disabling of predicates in the queryDialog

1091. By Lena Ernstsen

Merged with trunk

1090. By Lena Ernstsen

Deleted CTLQueryDialog and changed edit panel

1089. By Lena Ernstsen

Merge with trunk

1088. By Lena Ernstsen

Merge with trunk

1087. By Lena Ernstsen

Clean up

1086. By Lena Ernstsen

If lens is untimed, only the untimed engine will show

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.