summaryrefslogtreecommitdiff
path: root/src/lsp.sml
Commit message (Collapse)AuthorAge
* Added textDocument_didCloseGravatar Simon Van Casteren2019-12-13
|
* Last tweak to datatype constructors autocompleteGravatar Simon Van Casteren2019-12-13
|
* Tweaks to autocompletion of datatype constructorsGravatar Simon Van Casteren2019-12-13
|
* Added tracking of text of source files and autocompleteGravatar Simon Van Casteren2019-12-13
|
* Integrated getInfo into LSPGravatar Simon Van Casteren2019-12-13
|
* Use elabFile completely instead of rebuilding it partiallyGravatar Simon Van Casteren2019-12-13
|
* Fixed parsing errors and loading of interfacesGravatar Simon Van Casteren2019-12-13
|
* Add parse error commentGravatar Simon Van Casteren2019-12-13
|
* First working version of publishDiagnosticsGravatar Simon Van Casteren2019-12-13
|
* First publishDiagnostics implementationGravatar Simon Van Casteren2019-12-13
|
* First version of calculateFileStateGravatar Simon Van Casteren2019-12-13
|
* Started work on keeping some state in LSP serverGravatar Simon Van Casteren2019-12-13
|
* Added some LSP notifications supportGravatar Simon Van Casteren2019-12-13
|
* First actually working version of LSPGravatar Simon Van Casteren2019-12-13
|
* Refactored LSP into few modulesGravatar Simon Van Casteren2019-12-13
|
* Added initial version of lspGravatar Simon Van Casteren2019-12-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-16 16:12:52 +0000