diff --git a/CHANGES.md b/CHANGES.md index 6d1327b5..d26a363e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,8 @@ +# 0.3.0 + +- Move to a module-based configuration + [\#214](https://github.com/ocaml-gospel/ortac/pull/214) + # 0.2.0 - Make `--help` and `--version` work even without any plugins installed @@ -10,8 +15,6 @@ [\#198](https://github.com/ocaml-gospel/ortac/pull/198) - Add support for type invariants [\#197](https://github.com/ocaml-gospel/ortac/pull/197) -- Add an include option to qcheck-stm cli - [\#181](https://github.com/ocaml-gospel/ortac/pull/181) - Add a quiet flag [\#179](https://github.com/ocaml-gospel/ortac/pull/179) - Check for out of scope variables