[CHANGES] Add entry for ejgallego#307

Alizter · Feb 9, 2023 · 71980e8 · 71980e8
1 parent e8285b5
commit 71980e8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -30,6 +30,8 @@
  - Support unicode characters in filenames (@artagnon, #302)
  - Stop checking documents after a maximum number of errors,
    user-configurable (by default 150) (@ejgallego, #303)
+ - Coq Markdown files (.mv extension) are now highlighted properly
+   using both Coq and Markdown syntax rules (@4ever2, #307)
 
 # coq-lsp 0.1.4: View
 ---------------------