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 :

In the tikz export of weights, please use 10\times instead of 10x.

Also, nets that are not colored seem to be exported without the relative label positions. Could all nets be exported to Tikz using the same relative positions as for CPNs?

review: Needs Fixing

« Back to merge proposal