Merge branch 'main' into v8.17

ejgallego · Jul 7, 2023 · 23b033b · 23b033b
2 parents 87a66b4 + 0a682f8
commit 23b033b
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 7 deletions.
diff --git a/editor/code/package-lock.json b/editor/code/package-lock.json
diff --git a/etc/ContributionIdeas.md b/etc/ContributionIdeas.md
@@ -43,7 +43,8 @@ like to:
 
 ## "Semantic" goal and document printing
 
-Based on the `coq-layout-engine` project.
+- Add support for the `coq-layout-engine` project.
+- Port the current pp printer code to React
 
 ## LaTeX and Markdown document support
 

diff --git a/etc/release_notes/v0.1.7.md b/etc/release_notes/v0.1.7.md
@@ -3,6 +3,10 @@ Hi folks,
 it's been a while, but we are happy to announce a new release of
 `coq-lsp`.
 
+Install for Coq 8.17 and Visual Studio Code is as easy as:
+
+$ opam install coq-lsp && code --install-extension ejgallego.coq-lsp
+
 The 0.1.7 release has been focused on refinement and bugfixes; we'd
 like to thank all the users and contributors for their feedback and
 work, and in particular Alex Sanchez-Stern who did a large amount of