TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/fix1953355

  1. fix1953355
  2. Merge into cpn-gui-dev
Revision history for this message
Jiri Srba (srba) wrote :

Add also a check against constants please - now I can declare e.g. constant c and also color type c.

review: Needs Fixing

« Back to merge proposal