TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/add-discrete-to-untimed

  1. add-discrete-to-untimed
  2. Merge into trunk
Revision history for this message
Lena Ernstsen (lsaid) wrote :

Fixed some logic that created bugs in the querydialog

review: Needs Resubmitting

« Back to merge proposal