From ce8a133335d622e8e2b851de9716f3b320be1302 Mon Sep 17 00:00:00 2001 From: Nicolas Gagliani Date: Sat, 19 Sep 2015 01:17:40 +0200 Subject: [PATCH] updated the changelog for v0.2.5 --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index e4e30c1..4da6e81 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -4,6 +4,12 @@ ### Added +### Fixed + +## v0.2.5 + +### Added + - Restart the idris compiler after every commmand if it was killed [#54](https://github.com/idris-hackers/atom-language-idris/pull/54) - added the ability to style all the idris-panels