~tapaal-contributor/tapaal/raw-query-window-scaling-1915882

Viewing all changes in revision 1114.

  • Committer: Jiri Srba
  • Date: 2020-12-16 08:35:17 UTC
  • mfrom: (1113.1.7 batch-export)
  • Revision ID: srba@cs.aau.dk-20201216083517-e5o167vms7xw6f0z
merged in lp:~tapaal-contributor/tapaal/add-export-options adding the option of batch export to all engines

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: