~tapaal-contributor/tapaal/disappearing-tokens-1940098

Viewing all changes in revision 329.1.115.

- Did some refactorings in the model.
- Added double click shortcut to shared places/transitions list.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: