anidot visualization updated for Mac OS X (Mountain) Lion

Added by Axel Belinfante about 7 years ago

The anidot automaton visualization component has been updated to work out-of-the-box on Mac OS X 10.7 Lion and 10.8 Mountain Lion.
(and it should still work on Mac OS X 10.6 Snow Leopard).

This is available in the Files section as JTorX-1.9.4-ml.dmg and JTorX-1.10.0-beta8-ml.dmg.
Only the anidot component has been updated -- otherwise, these are identical to JTorX-1.9.4 resp. JTorX-1.10.0-beta8.

If earlier you got, on a Mac OS X computer, the error that the dotnew command is not available, then running the updated version should fix this.

Thus, we no longer need the additional dependency for Mac OS X 10.8 (Mountain Lion), for the anidot automaton visualization.