Changelog for clafer-0.3.5.1

Clafer Version 0.3.5 released on January 20, 2014

Release

New features and bug fixes

Clafer Version 0.3.4 released on September 20, 2013

New features and bug fixes

Clafer Version 0.3.3 released on August 14, 2013

Release

New features and bug fixes

Clafer Version 0.3.2 released on April 11, 2013

New features and bug fixes

Clafer Version 0.3.1 released on October 17, 2012

New features and bug fixes

Clafer Version 0.3 released on July 17, 2012

This was the first release of Clafer and included all code since the beginning of the project.

New features and bug fixes

Basic features - See the README.md.