diff --git a/CHANGELOG.md b/CHANGELOG.md index bcf8032609f312b538ee916814f227a34c54b49d..b2a28c8cfe1b196ac77a666f1da96f1761428060 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -123,4 +123,6 @@ ## 2.1.1 (not released yet) -- (no changes yet) \ No newline at end of file +- Updated to ProB 1.13.0 +- Updated keywords for B rules machines +- Fixed and expanded snippets for B relation/function operators \ No newline at end of file diff --git a/README.md b/README.md index 995897e7f56371a41a3bfa89f5217ae6a0e0b042..ffda12b7596bfe3c1ef9d8a45ec3108f541c8136 100644 --- a/README.md +++ b/README.md @@ -39,12 +39,11 @@ The language server can be found here https://github.com/SeeBasTStick/b-language ## Release Notes -### 2.1.0 - -- Updated to ProB 1.12.1 -- Now requires VSCode 1.67 -- Optimized dependencies +### 2.1.1 +- Updated to ProB 1.13.0 +- Updated keywords for B rules machines +- Fixed and expanded snippets for B relation/function operators ## Acknowledgements