Alloy 6.2.0 released (by grayswandyr) — discussion

#formalmethods