From acfe0dbda4ade7e7c7b384360a2499e1e79cb984 Mon Sep 17 00:00:00 2001 From: Ting-Gian LUA Date: Fri, 6 Dec 2024 19:00:19 +0800 Subject: [PATCH] [ new ] Release Language Server v4 that supports Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3 --- CHANGELOG.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 196d3a6..09b97f4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,11 @@ 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.7.0.1.4 - 2024-12-6 + +### Changed +- Target only 3 versions of Agda at a time: Agda-2.7.0.1, Agda-2.6.4.3, and Agda-2.6.3. + ## v0.2.7.0.1.3 - 2024-12-5 ### Fixed