Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.
I want to restore the Eclipse metadata since it contains important information for Eclipse users and it is hardly in the way for non-eclipse users. Not sure I understand why this had to be removed? It too me an hour to figure out what was going on.
I want to restore the Eclipse metadata since it contains important information for Eclipse users and it is hardly in the way for non-eclipse users. Not sure I understand why this had to be removed? It too me an hour to figure out what was going on.
This is actually quite important for me.