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.
A number of GUI improvements
This is quite a large commit so I want to get it on the main branch. I tried not to touch any code that might affect the compilation or the backend.