Clafer Version 0.4.4 released on Jun 23, 2016

• Release

Clafer Version 0.4.3 released on Dec 22, 2015

• Release

Clafer Version 0.4.2.1 released on Oct 19, 2015

• Fixed Haddock build, updated README, fixed a test case.

Clafer Version 0.4.2 released on Oct 16, 2015

• Release

Clafer Version 0.4.1 released on Sep 1, 2015

• Release

Clafer Version 0.4.0 released on Jul 28, 2015

• Release

Clafer Version 0.3.10 released on April 24, 2015

• Release

Clafer Version 0.3.9 released on March 06, 2015

• Release

Clafer Version 0.3.8 released on January 27, 2015

• Release

Clafer Version 0.3.7 released on October 23, 2014

• Release

Clafer Version 0.3.6.1 released on July 08, 2014

• Release

Clafer Version 0.3.6 released on May 23, 2014

• Release

Clafer Version 0.3.5 released on January 20, 2014

• Release

Clafer Version 0.3.4 released on September 20, 2013

Clafer Version 0.3.3 released on August 14, 2013

• Release

Clafer Version 0.3.2 released on April 11, 2013

Clafer Version 0.3.1 released on October 17, 2012

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.

Basic features - See the README.md.