From b5d570e91a85debcfc18f96103f413c88338902f Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 8 Mar 2024 11:41:13 +0100
Subject: [PATCH] Update changelog

---
 CHANGELOG.md | 1 +
 README.md    | 1 +
 2 files changed, 2 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index b2a28c8..0aaa8da 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 586fd17..6a85cdc 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
-- 
GitLab