# 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