Alloy Language Support

Bugs and Feature Requests: Issue Tracker

This extension provides basic editing features for the Alloy modeling language. Current editing features include:

• Syntax highlighting and brace matching
• Outlining support for quickly collapsing signatures and predicates
• Dropdown bars listing signatures, enums, predicates, and functions within the current document
• Autocomplete support for language keywords (more to come)

Version History

1.1.0 (March 16, 2014)

• Support Visual Studio 2012 and 2013
• Stability improvements

1.0.6.318 (July 9, 2011)

• Addressed several potential performance problems

1.0.5.311 (July 8, 2011)

• Original release