TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/load-and-save-time-and-game-net-properties

  1. load-and-save-time-and-game-net-properties
  2. Merge into trunk
Revision history for this message
Jiri Srba (srba) wrote :

The default options when making a new net should be No/No both for time and game semantics.

review: Needs Fixing

« Back to merge proposal