[Rodin-b-sharp-user] How do I configure the animation settings for ProB in Rodin 2.1.1?

[Jeremy B. <jer...@nc...>]

Hi all,

I can't see how to configure the animation settings in Rodin 2.1.1.

Any help appreciated,

Thanks,
Jeremy