Clafer compiler, Alloy-based instance generator, and wiki 0.3.7 are released on Hackage (clafer, claferIG, claferwiki).
Major changes include:
- added support for
notas a synonym to the quantifier
- moved to the latest Alloy 4.2_2014-05-16 build by default. The
.alsfiles are Alloy 4.2 whereas the
.als41files are Alloy 4.1. [clafer, claferIG]
- added integration with SublimeText 2/3 and VIM.
- moved to the latest Gitit and Pandoc [claferwiki]
- many technical improvements