← Back to branch summary

~yrke/tapaal/ControllersAndPushdown

Viewing all changes in revision 1105.

  • Committer: Kenneth Yrke Joergensen
  • Date: 2019-08-20 12:07:54 UTC
  • Revision ID: kenneth@yrke.dk-20190820120754-9j59m2ty8tv6c2ey
Moved mouse over menu from Place/Tansition handlers to new AnimationController

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: