~tapaal-contributor/tapaal/add-discrete-to-untimed

Viewing all changes in revision 1102.

  • Committer: lena.said at hotmail
  • Date: 2020-09-17 20:24:15 UTC
  • Revision ID: lena.said@hotmail.com-20200917202415-d53i7rtra5gsxdnv
Fixed logic

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: