← Back to branch summary

~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675

Viewing all changes in revision 973.

  • Committer: Jiri Srba
  • Date: 2018-05-11 16:28:01 UTC
  • Revision ID: srba@cs.aau.dk-20180511162801-y1pkjccox018oea7
updated run file with extra heap space

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: