diff --git a/CHANGELOG.md b/CHANGELOG.md
index 92b0773..6749de1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,10 @@
 ## Unreleased
 ### Added
+### Changed
+### Fixed
+
+## v0.1.5
+### Added
 - Added the new Idris2-specific commands :generate-def, :generate-def-next and :proof-search-next.
 - Added a typeAt method, which implements the Idris2 :type-of + location command.
 ### Changed
diff --git a/package-lock.json b/package-lock.json
index 4e3352e..c064ef0 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,6 +1,6 @@
 {
   "name": "idris-ide-client",
-  "version": "0.1.4",
+  "version": "0.1.5",
   "lockfileVersion": 1,
   "requires": true,
   "dependencies": {
diff --git a/package.json b/package.json
index 36ae634..9460f32 100644
--- a/package.json
+++ b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "idris-ide-client",
-  "version": "0.1.4",
+  "version": "0.1.5",
   "description": "A library for talking to the Idris IDE.",
   "keywords": [
     "idris"