Simple syntax highlighting for MIT's Alloy relational language in Sublime Text 3.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Type Name Latest commit message Commit time
Failed to load latest commit information.

Sublime Text 3 - MIT Alloy Syntax Highlighting

Syntax highlighting for MIT's Alloy in Sublime Text 3.

Getting Started

1. Installation

(Recommended) Automatic Installation using Sublime Text Package Control

  1. Open Sublime Text's Command Palette (default: Ctrl+Shift+P)
  2. Type install and select Package Control: Install Package
  3. Type mit alloy and select "MIT_Alloy" to install the package.

Manual Installation

Go to Preferences -> Browse Packages, and then either download and unzip this plugin into that directory, or:

git clone "sublime-mit-alloy"

2. Activate this Language

After installing this package, open an ALS file and switch the language to MIT Alloy, using one of the following methods:

  • Select from the list of supported languages in your status bar at the bottom right corner of your editor
  • Ctrl+Shift+P and search for "MIT Alloy"

3. Make "MIT Alloy" the default

To make MIT Alloy the default highlighting for the current extension:

  1. Open a file with the extension you want to set a default for (i.e. .als)
  2. Navigate through the following menus in Sublime Text: View -> Syntax -> Open all with current extension as... -> MIT Alloy


Corban Mailloux

Copyright and License

Copyright 2014 Corban Mailloux

MIT License