branches with status:
Name Status Last Modified Last Commit
lp:tapaal/3.7 1 Development 2020-09-23 11:36:32 UTC 2 hours ago
1106. merged in lp:~tapaal-contributor/tapa...

Author: <email address hidden>
Revision Date: 2020-09-23 11:36:32 UTC

merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 fixing a missing verifytapn engine in the query dialog

lp:tapaal/3.6 2 Mature 2020-05-16 08:53:24 UTC 2020-05-16
1052. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2020-05-16 08:53:24 UTC

merged in lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894 fixing undo/redo for moving items in the pannels using buttons up/down

lp:tapaal/3.5 2 Mature 2019-05-21 09:21:16 UTC 2019-05-21
1015. merged in lp:~tapaal-contributor/tapa...

Author: Jiri Srba
Revision Date: 2019-05-21 09:21:16 UTC

merged in lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218 fixing a problem with saving a net in a non-active tab

lp:verifydtapn/d3.2 2 Mature 2017-10-05 07:06:56 UTC 2017-10-05
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 2014-04-08
300. commiting generated files

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

commiting generated files

15 of 5 results