**Clafer Version 0.3.9 released on March 06, 2015** [Release](https://github.com/gsdlab/clafer/pull/63) **Clafer Version 0.3.8 released on January 27, 2015** [Release](https://github.com/gsdlab/clafer/pull/60) **Clafer Version 0.3.7 released on October 23, 2014** [Release](https://github.com/gsdlab/clafer/pull/53) **Clafer Version 0.3.6.1 released on July 08, 2014** [Release](https://github.com/gsdlab/clafer/pull/50) **Clafer Version 0.3.6 released on May 23, 2014** [Release](https://github.com/gsdlab/clafer/pull/48) **Clafer Version 0.3.5 released on January 20, 2014** [Release](https://github.com/gsdlab/clafer/pull/44) **Clafer Version 0.3.4 released on September 20, 2013** **Clafer Version 0.3.3 released on August 14, 2013** [Release](https://github.com/gsdlab/clafer/pull/35) **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`.