~tapaal-contributor/tapaal/cpn-gui-dev

Viewing all changes in revision 1224.

  • Committer: ptaankvist at gmail
  • Date: 2020-10-23 12:44:24 UTC
  • Revision ID: ptaankvist@gmail.com-20201023124424-cvlbocv73pdr8qs3
Can now change variables in guard expressions even though it is the same variable on both sides

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: