Merge pull request #519 from ejgallego/coq_markdown_rework

[vscode] Register `.mv` files as markdown files
ejgallego · Jun 30, 2023 · dbd69ec · dbd69ec
2 parents 4731a66 + 586dbbe
commit dbd69ec
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
 ---------------------