[new release] coq-lsp (0.1.3+v8.16)

[ejgallego]

Language Server Protocol native server for Coq

• Project page: https://github.com/ejgallego/coq-lsp
• Documentation: https://ejgallego.github.io/coq-lsp/

CHANGES:

---

• Much improved handling of Coq fatal errors, the server is now
  hardened against them (@ejgallego, [controller] Handle failing requests better. ejgallego/coq-lsp#155, [fleche] Protect Coq document creation ejgallego/coq-lsp#157, [coq] Protect all base API calls ejgallego/coq-lsp#160, fixes Improve error handling for Coq internal errors ejgallego/coq-lsp#91)
• coq-lsp now follows the LSP specification regarding
  initialization strictly (@ejgallego, [controller] Follow the initialize specification better. ejgallego/coq-lsp#168)
• New setting for goals to be updated when the selection changes due
  to a command; this makes VsCodeVim cursor tracking work; thanks to
  Cactus (Anton) Golov for detailed bug reporting and testing
  (@ejgallego, @jesyspa, [code] Allow goals to follow selection update by a command ejgallego/coq-lsp#170, fixes Goals don't update on cursor movement when using VsCodeVim ejgallego/coq-lsp#163)
• coq-lsp will now warn the user when two files have been opened
  simultaneously and the parser may go into a broken state :/
  (@ejgallego, [server] Warn the user of possible problems when >= 2 files are open. ejgallego/coq-lsp#169)
• Implement request postponement and cancellation. Thus
  documentSymbols will now be postponed until the document is
  ready, (@ejgallego, [controller] Allow to postpone and cancel requests ejgallego/coq-lsp#141, [controller] Refactor document handling ejgallego/coq-lsp#146, fixes [documentSymbol] Stream / delay results ejgallego/coq-lsp#124)
• Protocol and VS Code interfaces now support shelved and given_up
  goals (@ejgallego, [goals] Send and display information about shelved and given up goals. ejgallego/coq-lsp#175)
• Allow to postpone requests to wait for data to become available on
  document points; this is implemented to provide a nicer "show goals
  while I type" experience. Client default has been changed to "show
  goals on mouse, click, typing, and cursor movement) (@ejgallego,
  [fleche] Allow to set cutoff point. ejgallego/coq-lsp#177, [controller] Postpone position requests until doc checking catches up. ejgallego/coq-lsp#179)
• Store stats per document (@ejgallego, [fleche] Store (and restore) global stats per-document. ejgallego/coq-lsp#180, fixes [info] Cumulative execution/parsing times are broken after resumption patch ejgallego/coq-lsp#173)

[kit-ty-kate]

Thanks