diff --git a/CHANGELOG.md b/CHANGELOG.md index b2a28c8cfe1b196ac77a666f1da96f1761428060..0aaa8da617ca3010a5a136b084638724bc1da62f 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -125,4 +125,5 @@ - Updated to ProB 1.13.0 - Updated keywords for B rules machines +- Changed settings prefixes from `languageServer` and `common` to `prob` - this will reset existing settings, but avoids conflicts with other extensions - Fixed and expanded snippets for B relation/function operators \ No newline at end of file diff --git a/README.md b/README.md index 586fd173ca951978b0c43f3552cc64e6b84d797a..6a85cdcb0d6205b3d6951fd9bc4e5c3e034f15a8 100644 --- a/README.md +++ b/README.md @@ -47,6 +47,7 @@ You can also install the plugin in [VSCodium](https://vscodium.com) by downloadi - Updated to ProB 1.13.0 - Updated keywords for B rules machines +- Changed settings prefixes from `languageServer` and `common` to `prob` - this will reset existing settings, but avoids conflicts with other extensions - Fixed and expanded snippets for B relation/function operators ## Acknowledgements