Arctis 1.0.0.M0317

The new version contains some fixes and improvements.

• Applications on Android and Java SE terminate now correctly.


• Context menus for guards and types are less hierarchical and easier to access.


• Partitions cannot be accidentally deleted.


• Arctis Building Block view can be synchronized with the editor.


• Move backwards in the animation with Arrow key "Up" should work.