branches with status:
Name Status Last Modified Last Commit
lp:tapaal/3.9 1 Development 2023-02-24 13:46:47 UTC
1184. increased version number to 3.9.5

Author: <email address hidden>
Revision Date: 2023-02-24 13:46:47 UTC

increased version number to 3.9.5

lp:tapaal/3.8 1 Development 2021-10-11 20:02:07 UTC
1134. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2021-10-11 20:02:07 UTC

merged in lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 and the ctrl-Z and ctrl-Y shortcuts now work in the query dialog

lp:verifydtapn/d3.2 2 Mature 2017-10-05 07:06:56 UTC
338. Released version of d3.2.1

Author: Jiri Srba
Revision Date: 2017-10-05 07:06:56 UTC

Released version of d3.2.1

lp:verifydtapn/d3.0 2 Mature 2014-04-08 08:25:58 UTC
300. commiting generated files

Author: Jiri Srba
Revision Date: 2014-04-08 08:25:58 UTC

commiting generated files

14 of 4 results