Code

Syntax error bug#656

Code

Closed

rtetley wants to merge 4 commits intomaincoq/vscoq:mainfrom syntax-error-bugcoq/vscoq:syntax-error-bugCopy head branch name to clipboard

+91-49

Commits

Commits on Oct 10, 2023

• Explicit UTF16 posiiton, logging

  rtetley

  committed
  227fbed

• WIP replacing raw doc with Lsp.Text_document

  Show description for 7e9b013
  rtetley

  committed
  7e9b013

Commits on Oct 11, 2023

• WIP

  rtetley

  committed
  8da9ee2

Commits on Oct 12, 2023

• Remove unecessary funtion

  Show description for d144117
  rtetley

  committed
  d144117