From 991ecc50e0ac1740ba29408c1cb69e206f9985ad Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 7 Jul 2023 13:39:12 +0000
Subject: [PATCH 1/3] Bump semver from 7.3.8 to 7.5.3 in /editor/code

Bumps [semver](https://github.com/npm/node-semver) from 7.3.8 to 7.5.3.
- [Release notes](https://github.com/npm/node-semver/releases)
- [Changelog](https://github.com/npm/node-semver/blob/main/CHANGELOG.md)
- [Commits](https://github.com/npm/node-semver/compare/v7.3.8...v7.5.3)

---
updated-dependencies:
- dependency-name: semver
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 editor/code/package-lock.json | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/editor/code/package-lock.json b/editor/code/package-lock.json
index 66103517..e4fae0a3 100644
--- a/editor/code/package-lock.json
+++ b/editor/code/package-lock.json
@@ -671,9 +671,9 @@
       }
     },
     "node_modules/semver": {
-      "version": "7.3.8",
-      "resolved": "https://registry.npmjs.org/semver/-/semver-7.3.8.tgz",
-      "integrity": "sha512-NB1ctGL5rlHrPJtFDVIVzTyQylMLu9N9VICA6HSFJo8MCGVTMW6gfpicwKmmK/dAjTOrqu5l63JJOpDSrAis3A==",
+      "version": "7.5.3",
+      "resolved": "https://registry.npmjs.org/semver/-/semver-7.5.3.tgz",
+      "integrity": "sha512-QBlUtyVk/5EeHbi7X0fw6liDZc7BBmEaSYn01fMU1OUYbf6GPsbTtd8WmnqbI20SeycoHSeiybkE/q1Q+qlThQ==",
       "dependencies": {
         "lru-cache": "^6.0.0"
       },
@@ -1156,9 +1156,9 @@
       }
     },
     "semver": {
-      "version": "7.3.8",
-      "resolved": "https://registry.npmjs.org/semver/-/semver-7.3.8.tgz",
-      "integrity": "sha512-NB1ctGL5rlHrPJtFDVIVzTyQylMLu9N9VICA6HSFJo8MCGVTMW6gfpicwKmmK/dAjTOrqu5l63JJOpDSrAis3A==",
+      "version": "7.5.3",
+      "resolved": "https://registry.npmjs.org/semver/-/semver-7.5.3.tgz",
+      "integrity": "sha512-QBlUtyVk/5EeHbi7X0fw6liDZc7BBmEaSYn01fMU1OUYbf6GPsbTtd8WmnqbI20SeycoHSeiybkE/q1Q+qlThQ==",
       "requires": {
         "lru-cache": "^6.0.0"
       }

From 09c1f79cd4f8410f036bc6b13fa1b3bc6baa29fa Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Fri, 7 Jul 2023 15:47:13 +0200
Subject: [PATCH 2/3] [doc] [release notes] Nit

---
 etc/release_notes/v0.1.7.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/etc/release_notes/v0.1.7.md b/etc/release_notes/v0.1.7.md
index 8b16850f..77e5c093 100644
--- 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

From 259b7bc11eced6a07b0f969513159ca3c6da9dbb Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Fri, 7 Jul 2023 15:51:32 +0200
Subject: [PATCH 3/3] [doc] [contribution ideas] Add TODO for Pp print
 performance

---
 etc/ContributionIdeas.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/etc/ContributionIdeas.md b/etc/ContributionIdeas.md
index 19e50f85..135c1904 100644
--- 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