v0.2.0.2
--------

* Include the changelog in the tarball

v0.2.0.1
--------

* Fix a bug in relation stratification

v0.2.0.0
--------

* New REPL
* Fixed some correctness bugs