# Changelog All notable changes to this project will be documented in this file. The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). ## 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