diff --git a/editor/code/package.json b/editor/code/package.json index 0511545e..979214af 100644 --- a/editor/code/package.json +++ b/editor/code/package.json @@ -92,11 +92,11 @@ }, { "command": "coq-lsp.goals", - "title": "Coq LSP: Show Goals at Point" + "title": "Coq LSP: Show Goals at point" }, { "command": "coq-lsp.document", - "title": "Coq LSP: Display current Coq document in JSON format" + "title": "Coq LSP: Serialize document to JSON" }, { "command": "coq-lsp.save", @@ -104,15 +104,15 @@ }, { "command": "coq-lsp.trim", - "title": "Coq LSP: Request the server to trim caches and compact memory (useful to try reduce memory comsumption)" + "title": "Coq LSP: Free memory" }, { "command": "coq-lsp.sentenceNext", - "title": "Coq LSP: try to jump to next Coq sentence" + "title": "Coq LSP: Try to jump to next Coq sentence" }, { "command": "coq-lsp.sentencePrevious", - "title": "Coq LSP: try to jump to previous Coq sentence" + "title": "Coq LSP: Try to jump to previous Coq sentence" }, { "command": "coq-lsp.heatmap.toggle",