Skip to content

Latest commit

 

History

History
79 lines (45 loc) · 1.7 KB

CHANGELOG.md

File metadata and controls

79 lines (45 loc) · 1.7 KB

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog.

v0.2.6.4.0.3 - 2023-12-14

Fixed

  • #15: Add missing handlers for lsp methods.
  • #24: Fix the encoding of binaries built on GitHub Actions.
  • Patch path to the "data" directory when the executable is built on GitHub Actions.

v0.2.6.4.0.0 - 2023-12-12

Changed

  • Embed Agda-2.6.4.
  • Builds with lsp < 1.7 on GHC 9.2 (LTS 20.26), and with Cabal also on 9.4 and 9.6.

Added

  • Build flag Agda-2-6-3 to embed Agda-2.6.3 rather than 2.6.4.

v0.2.6.3.0 - 2023-11-23

Changed

  • Embed Agda-2.6.3.
  • Builds with lsp < 1.7 on GHC 8.10 (LTS 18.28), 9.0 (LTS 19.33), and 9.2 (LTS 20.26), and with Cabal also on 9.4 and 9.6.

Added

  • Build flag Agda-2-6-2-2 to embed Agda-2.6.2.2 rather than 2.6.3.

v0.2.6.2.2.1 - 2023-11-21

Added

  • Building with lsp-1.6. Builds with lsp < 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

  • Embed 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