Monday, September 21, 2015

Clafer Web Tools 0.4.1 Released

by Michał Antkiewicz

The release 0.4.1 of the web tools is the first major release since 0.3.6.1!

This release wouldn't be possible without the hard work of Eldar Khalilov who took on a difficult task of switching the tools from the old XML format to the new JSON format of the compiler's intermediate representation.

The release includes compatibility with Clafer 0.4.1 and the new features of the language since 0.3.6.1 and many functional and performance improvements (by both Alexandr Murashkin and Eldar Khalilov).

No comments:

Post a Comment