TAPAAL

Code review comment for lp:~yrke/tapaal/testbranch

  1. testbranch
  2. Merge into trunk
Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

Namelabels on places and transitions are hidden by Annotation Notes. Fixed in Revision 1025 on trunk

« Back to merge proposal