Code

support lsp >= 1.19#970

Code

Merged

rtetley merged 7 commits intomaincoq/vscoq:mainfrom bump-dep-on-lspcoq/vscoq:bump-dep-on-lspCopy head branch name to clipboardJan 13, 2025

+84-15

Commits

Commits on Jan 13, 2025

• support lsp >= 1.19

  gares

  committed
  b037118

  Copy full SHA for b037118

• debug for nix

  gares

  committed
  1548555

  Copy full SHA for 1548555

• parse lsp version with a dedicated command

  gares

  committed
  0d0e68a

  Copy full SHA for 0d0e68a

• version_parser: ensure triple

  gares

  committed
  562ccb0

  Copy full SHA for 562ccb0

• fix tests

  gares

  committed
  346abfc

  Copy full SHA for 346abfc

• [hack] install recent dune

  gares

  committed
  75c1147

  Copy full SHA for 75c1147

• do not move cursor or flash red in continuous mode

  gares

  committed
  4627343

  Copy full SHA for 4627343