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