TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/draw-urgent-transition-timed-net-icon-1951026

  1. draw-urgent-transition-timed-net-icon-1951026
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

Looks good but for timed and game, there has to be also added uncontrollable urgent transition icon (empty rectangle with black dot) and option in the draw menu.

review: Needs Fixing

« Back to merge proposal