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

Viewing all changes in revision 954.

  • Committer: Jiri Srba
  • Date: 2018-04-16 11:24:10 UTC
  • mfrom: (951.2.9 run-multiple-queries-)
  • Revision ID: srba.jiri@gmail.com-20180416112410-7be9g5oebs5q2pat
merged in branch lp:~ptaank/tapaal/run-multiple-queries- that allows to select and verify multiple queries

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: