~tapaal-developers/tapaal/trunk

Viewing all changes in revision 1101.

merged in lp:~yrke/tapaal/fix1894107-mouseWheelOnPTO fixing accidental rotation of transitions and adding tokens to places - now it is enabled only if the places/transition is selected

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: