Dear colleagues, on behalf of the AlloyTools development team, it is my pleasure to announce the release of Alloy 6.2.0. This version adds in particular the following features: many usability improvements in the ed…