TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/cpn-tapn

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

Tested and works. Engine is also merged to trunk now.

review: Approve

« Back to merge proposal