1708 Solutions and counting.
The aim of that plugin is to provide a first class Eclipse integration for the Alloy 4 specification language and tool developed at the MIT (http://alloy.mit.edu/). The release 0.3.x is based on Xt...
Last Updated on Monday, February 4, 2019 - 13:52 by Daniel Le Berre
Get the latest version of the Eclipse IDE.