~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1130.

merged in  lp:~tapaal-contributor/tapaal/hide-show-names-1921393 allowing to show/hide place/transition names

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: