TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/add-export-options

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

Fixed code styling and naming of elements in the UI. Also changed the way the queries are saved, so each query gets a query file

review: Needs Resubmitting

« Back to merge proposal