**Clafer Version 0.3.5 released on January 20, 2014** [Release](https://github.com/gsdlab/clafer/pull/44) [New features and bug fixes](http://gsd.uwaterloo.ca:8888/questions/scope:all/sort:activity-desc/tags:v0.3.5,clafer/page:1/) **Clafer Version 0.3.4 released on September 20, 2013** [New features and bug fixes](http://gsd.uwaterloo.ca:8888/questions/scope:all/sort:activity-desc/tags:v0.3.4,clafer/page:1/) **Clafer Version 0.3.3 released on August 14, 2013** [Release](https://github.com/gsdlab/clafer/pull/35) [New features and bug fixes](http://gsd.uwaterloo.ca:8888/questions/scope:all/sort:activity-desc/tags:v0.3.3,clafer/page:1/) **Clafer Version 0.3.2 released on April 11, 2013** [New features and bug fixes](http://gsd.uwaterloo.ca:8888/questions/scope:all/sort:activity-desc/tags:v0.3.2,clafer/page:1/) **Clafer Version 0.3.1 released on October 17, 2012** [New features and bug fixes](http://gsd.uwaterloo.ca:8888/questions/scope:all/sort:activity-desc/tags:v0.3.1,clafer/page:1/) **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](http://gsd.uwaterloo.ca:8888/questions/scope:all/sort:activity-desc/tags:v0.3,clafer/page:1/) Basic features - See the `README.md`.