~tapaal-contributor/tapaal/query-parsing-bug-1921580

Viewing all changes in revision 1113.

  • Committer: Jiri Srba
  • Date: 2020-11-06 15:19:56 UTC
  • mfrom: (1112.1.6 tapaal)
  • Revision ID: srba.jiri@gmail.com-20201106151956-1319j1ijk4lk0258
merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing a problem of transition-enabledness predicate in query dialog

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: