~tapaal-contributor/tapaal/weight-values-fix-1770637

Viewing all changes in revision 961.

merged in branch lp:~tapaal-contributor/tapaal/Batch-export-PNML-XML-queries-1754675
adding batch export of files to PNML and XML

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: