Code

[dev pick] Add coq-lsp to dev pick.#321

Code

Open

ejgallego wants to merge 2 commits intocoq:maincoq/platform:mainfrom ejgallego:add_coq_lspejgallego/platform:add_coq_lspCopy head branch name to clipboard

+24

Commits

Commits on Sep 15, 2023

• [dev pick] Add coq-lsp to dev pick.

  Show description for 7068860
  ejgallego

  committed
  7068860

  Copy full SHA for 7068860

• [readme.dev] Update description of extended packages.

  ejgallego

  committed
  0e3daad

  Copy full SHA for 0e3daad