← Back to branch summary

~tapaal-contributor/tapaal/save-tar-option

Viewing all changes in revision 1116.

  • Committer: Jiri Srba
  • Date: 2020-12-17 20:01:03 UTC
  • mfrom: (1113.2.2 raw-query-results)
  • Revision ID: srba@cs.aau.dk-20201217200103-52zb4imrxmkdmvbo
merged in lp:~tapaal-contributor/tapaal/raw-query-output adding the possibility to display raw output from engines

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: