Changelog

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

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

v0.2.0 - TBA

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