search

AlloyTools / org.alloytools.alloy

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.
Other
695 stars 124 forks source link

Feature Request: Line numbers in IDE #147

Closed hwayne closed 1 year ago

hwayne commented 3 years ago

It'd help teaching a lot if we had line numbers

ligurio commented 1 year ago

Duplicate of #79

ligurio commented 1 year ago

@pkriens close as a duplicate?