branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-reduction/tapaal/tapaal-reduction-3.1 1 Development 2014-12-01 10:58:53 UTC 2014-12-01
915. merged with trunk

Author: Jiri Srba
Revision Date: 2014-12-01 10:58:53 UTC

merged with trunk

11 of 1 result