TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/cpn-gui-TikZ-support

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

Also, when exporting age of tokens in the initial marking, please write 0.0 instead of 0,0

review: Needs Fixing

« Back to merge proposal