lp:tapaal

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:tapaal
Members of TAPAAL Developers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Developers
Project:
TAPAAL
Review team:
TAPAAL Reviewers
Status:
Development

Recent revisions

1153. By <email address hidden>

merging in lp:~tapaal-contributor/tapaal/LTL-dialog adding LTL query editing to GUI

1152. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fixInfSymbol-1945643 properly displaying the infinity symbol

1151. By <email address hidden>

updated icon to 3.9

1148. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/open-incorrectly-formatted-file fixing the dialog with information about wrong formated file to be open

1147. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/undo-disable-buttons-1940415 fixing a problem with eenabledness of buttons in constant panel when doing undo/redo

1146. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/manual-edit-parsing fixing a problem with the manual query parser

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.