Code : “TAPAAL Contributors” team

“TAPAAL Contributors” team

Name	Status	Last Modified	Last Commit
lp:~tapaal-contributor/tapaal/fix-tikz-export-1945642	1 Development	2021-10-17 19:34:54 UTC 20 hours ago	1158. Changed unit from px to pt Author: <email address hidden> Revision Date: 2021-10-17 19:34:54 UTC Changed unit from px to pt
lp:~tapaal-contributor/tapaal/cpn-gui-dev	1 Development	2021-10-13 14:04:20 UTC 2021-10-13	1454. Synced with trunk Author: Kenneth Yrke Jørgensen Revision Date: 2021-10-13 14:04:20 UTC Synced with trunk
lp:~tapaal-contributor/tapaal/remove-ghost-place	1 Development	2021-08-18 11:34:28 UTC 2021-08-18	1139. Fixed logic Author: Lena Ernstsen Revision Date: 2021-08-18 11:34:28 UTC Fixed logic
lp:~tapaal-contributor/tapaal/example-net-menus	1 Development	2021-08-18 09:23:52 UTC 2021-08-18	1145. Clean up Author: Lena Ernstsen Revision Date: 2021-08-18 09:23:52 UTC Clean up
lp:~tapaal-contributor/tapaal/sidepane-refactor-1886410	1 Development	2020-08-06 13:34:32 UTC 2020-08-06	1072. Add files Author: <email address hidden> Revision Date: 2020-08-06 13:34:32 UTC Add files
lp:~tapaal-contributor/tapaal/stackoverflow-large-net-1853689	1 Development	2019-12-07 12:38:25 UTC 2019-12-07	1035. Changed debug message Author: <email address hidden> Revision Date: 2019-12-07 12:38:25 UTC Changed debug message
lp:~tapaal-contributor/tapaal/copy-paste-dev-branch	1 Development	2018-08-08 13:06:26 UTC 2018-08-08	966. Copy/paste places Author: <email address hidden> Revision Date: 2018-08-08 13:05:31 UTC Copy/paste places
lp:~tapaal-contributor/tapaal/ctl-game	1 Development	2017-07-25 10:08:30 UTC 2017-07-25	1041. Save verification command to be able ... Author: Mads Johannsen Revision Date: 2017-07-25 10:08:30 UTC Save verification command to be able to re-execute it in game mode
lp:~tapaal-contributor/tapaal/TAG	1 Development	2015-09-16 16:39:49 UTC 2015-09-16	921. removed dead options Author: Peter Gjøl Jensen Revision Date: 2015-09-16 16:39:49 UTC removed dead options
lp:~tapaal-contributor/tapaal/BDDtestBranch	0 Experimental	2013-11-15 19:16:56 UTC 2013-11-15	826. Engine output is discarded. Author: Mathias Grund Sørensen Revision Date: 2013-11-15 19:15:50 UTC Engine output is discarded.