diff --git a/CHANGELOG.md b/CHANGELOG.md index bb44fa1..8dbfd33 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -6,6 +6,21 @@ ### Fixed +## v0.4.10 + +### Added + - Display typechecking information + - Copy executable path to clipboard + - Syntax highlitning in message panel + - Proof clause + - higlightning of parameters + - Better support for literate idris + - Added snippets + +### Fixed + - Display error message from idris + - Idris now restarts if stopped + - fix comments highlightning ## v0.4.9 diff --git a/package.json b/package.json index 9662ace..86d4096 100644 --- a/package.json +++ b/package.json @@ -1,7 +1,7 @@ { "name": "language-idris", "main": "./lib/language-idris", - "version": "0.4.9", + "version": "0.4.10", "private": true, "description": "A plugin for developing with Idris", "repository": "https://github.com/idris-hackers/atom-language-idris",