~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012

Viewing all changes in revision 991.

merged in branch lp:~yrke/tapaal/removedUnusedFieldsFromXML that removes unused offset fields for intial marking from XML and PNML input formats

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: