完全にalloyな人向けのメモですが、リリースされてます。自分はまだ試せてませんけど。
変更内容はこんな感じ。結構メジャーチェンジ。(以下alloy-discuss のメーリングリストより引用)
1. The Evaluator can now name atoms and skolems. (yay! thank you Felix!)
2. "Magic Layout" infers vizualizer settings for you. This usually
produces a better looking and more meaningful picture than the default
yellow-box settings.
つか、実は1は個人的に要望してたものなので、実装されたのは結構ありがたかったり。
Magic Layoutもちょっと内容聞きかじってはいて、ちゃんと動けばすごく便利だと思いますが、ちゃんと動くかは果たして謎。