From d55ebeff098793f96b2cdd3bdd5c936a4e08198c Mon Sep 17 00:00:00 2001
From: rsdpisuy <rsdpisuy@gmail.com>
Date: Sat, 23 Jan 2016 10:06:14 +0300
Subject: [PATCH] Ready for v0.0.2

---
 RELEASE_NOTES.md | 5 +++++
 appveyor.yml     | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 6237638..8c63e67 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -1,2 +1,7 @@
+#### 0.0.2 - January 23 20 2016
+* Pairs matching
+* Highlightting for more keywords
+* Latest FStar runtime
+
 #### 0.0.1 - October 20 2015
 * First demo
diff --git a/appveyor.yml b/appveyor.yml
index fe68cb8..44f58ca 100644
--- a/appveyor.yml
+++ b/appveyor.yml
@@ -5,7 +5,7 @@ install:
 build_script:
   - cmd: build.cmd
 test: off
-version: 0.0.1.{build}
+version: 0.0.2.{build}
 artifacts:
   - path: bin
     name: bin