update CHANGES.md

CHANGES.md

@@ -7,15 +7,17 @@ and this project adheres to [Semantic Versioning](https://semver.org/).
 
 ### Added
 
-- Add export format `raw_dk`
+- Add export format `raw_dk`.
 - Fix of the color of the text in command line when console.out is used.
-- Use black text instead of red when diplaying queries answers.
+- Use black text instead of red when diplaying query answers.
+- Allow negative numbers in notation priorities.
+- New release 0.2.2 of the VSCode plugin.
 
 ## 2.5.0 (2024-02-25)
 
 ### Added
 
-- Add the `opaque` command to turn a defined symbol into a constant
+- Add the `opaque` command to turn a defined symbol into a constant.
 - Add the tactic `try` that tries to apply a tactic to the focused goal.
   If the application of the tactic fails, it catches the error and leaves the goal unchanged.