# 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/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
## 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