← Back to branch summary

~tapaal-red/verifypn/rule-l

« back to all changes in this revision

Viewing changes to Scripts/

  • Committer: Jiri Srba
  • Date: 2014-04-01 18:54:58 UTC
  • mto: This revision was merged to the branch mainline in revision 51.
  • Revision ID: srba@cs.aau.dk-20140401185458-8yorux4l4xwblvuh
Added TAPAAL initialization script of the competition and disabled printing of queries

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/