From f97be6ffc23b16a46ac423e426ce7e96acd8e45e Mon Sep 17 00:00:00 2001
From: Niklas Larsson <niklas@mm.st>
Date: Wed, 16 Aug 2017 15:12:44 +0200
Subject: [PATCH] Update version to v0.4.10

Update change log
---
 CHANGELOG.md | 15 +++++++++++++++
 package.json |  2 +-
 2 files changed, 16 insertions(+), 1 deletion(-)

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",