Update README.md

LPCIC · Mar 28, 2024 · fd0f43e · fd0f43e
1 parent 899090f
commit fd0f43e
Showing 1 changed file with 1 addition and 23 deletions.
diff --git a/README.md b/README.md
@@ -35,26 +35,4 @@ This extension provides support for the [Elpi](https://github.com/LPCIC/elpi) pr
 
 ## Release Notes
 
-### 0.2.3
-
-- Better notifications
-- Better scrolling when jumping from a card to another
-
-### 0.2.2
-
-- Fallback to npm for all dependencies
-- Use minified assets exclusively
-- Introspect presence of required binaries in PATH
-
-### 0.2.1
-
-- Make the highlighting optional when browsing the trace
-
-### 0.2.0
-
-- Adds trace visualisation
-
-### 0.0.1
-
-- First public release
-- Syntax highlighting
+See the [CHANGELOG](CHANGELOG.md) file