← Back to branch summary

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

Viewing all changes in revision 1091.

  • Committer: ptaankvist at gmail
  • Date: 2020-08-12 12:17:15 UTC
  • Revision ID: ptaankvist@gmail.com-20200812121715-56tp466jo1tcv01w
Add Colors to places. Add colored invariants to places. Hide invariant and color information according to lens

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: