Ready for v0.0.2

YaccConstructor · Jan 23, 2016 · d55ebef · d55ebef
1 parent a75acfa
commit d55ebef
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git 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
@@ -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