Changelog for agda-language-server-0.2.6.2.2.1
Changelog
All notable changes to this project will be documented in this file.
The format is based on Keep a Changelog.
v0.2.6.2.2.1 - 2023-11-21
Added
- Building with
lsp-1.6. Builds withlsp< 1.7 on GHC 8.10 (LTS 18.28), 9.0 (LTS 19.33), and 9.2 (LTS 20.26)
v0.2.6.2.2 - 2023-11-21
Changed
- Bundle Agda-2.6.2.2
- Versioning scheme: x.a.b.c.d.y where a.b.c.d is the 4-digit Agda version (2.6.2.2), x is 0 but may be bumped for revolutionary changes to the agda-language-server, and y is for patch releases
- Builds with
lsp< 1.5 on GHC 8.10 (LTS 18.28) and 9.0 (LTS 19.33)
v0.2.1 - 2021-10-25
No changes.
v0.2.0 - 2021-10-22
Fixed
- #2: Allow user to supply command-line options via agda-mode
v0.1.4 - 2021-10-04
Fixed
- Resume sending HighlightingInfos to agda-mode
v0.1.3 - 2021-10-04
Fixed
- Include DLLs in the bundle
v0.1.2 - 2021-10-03
Fixed
- #5: Connection Error