[vscode] Register .mv files as markdown files

See the discussion in #456, it makes more sense to actually have as a base mode the markdown mode. Closes #456
ejgallego · Jun 29, 2023 · 586dbbe · 586dbbe
1 parent 4731a66
commit 586dbbe
Show file tree

Hide file tree

Showing 6 changed files with 553 additions and 106 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -39,6 +39,9 @@
  - Coq's STM is not linked anymore to `coq-lsp` (@ejgallego, #511)
  - More granular options `send_perf_data` `send_diags`, `verbosity`
    will set them now (@ejgallego, #)
+ - `.mv` files for Coq Markdown now have markdown as their base mode,
+   this works better and exposes all the usual Markdown commands such
+   as preview to users (@4ever2, #519, fixes #456)
 
 # coq-lsp 0.1.6: Peek
 ---------------------