This is an Emacs major mode that implements syntax hilighting and simple indentation features for the Alloy modeling language. The original implementation was written by Allison Waingold and further contributions were made by psii.
To use alloy-mode, simply download the file alloy-mode.el and place into your
load-path.