diff --git a/CHANGELOG.md b/CHANGELOG.md
index a6d0e78..83e45fc 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,11 @@
+### Version 0.7.0
+- Update Z3 to version 4.12.1 and Kind 2 to version 1.9.0.
+- Update syntax highlighting: elsif, provided, choose.
+- Update button for counterexamples.
+- Remove protractor dependency from interpreter
+- Update all node packages of interpreter to latest compatible version
+- Replace TSLint with ESLint in interpreter.
+
 ### Version 0.6.2
 - Force publication of universal version before platform-specific versions.
   Otherwise, `vsce` fails publishing universal version.
diff --git a/package-lock.json b/package-lock.json
index 2c36c4a..408987b 100644
--- a/package-lock.json
+++ b/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "vscode-kind2",
-  "version": "0.6.2",
+  "version": "0.7.0",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "vscode-kind2",
-      "version": "0.6.2",
+      "version": "0.7.0",
       "license": "MIT",
       "dependencies": {
         "vscode-languageclient": "^6.1.4"
diff --git a/package.json b/package.json
index 70e4610..7b1e33d 100644
--- a/package.json
+++ b/package.json
@@ -5,7 +5,7 @@
   "description": "Language support for Kind 2",
   "author": "The Kind 2 development team",
   "license": "MIT",
-  "version": "0.6.2",
+  "version": "0.7.0",
   "preview": true,
   "repository": {
     "type": "git",