Update CHANGELOG.md

Signed-off-by: Austin Seipp <[email protected]>

CHANGELOG.md

@@ -1,9 +1,23 @@
-0.0.3 - Not yet released
+0.1.0 - Not yet released
 ------------------------
 
+  * Preliminary Cryptol 2 support (issue #15). Cryptol 1 is still
+    supported.
+  * Preliminary Support for inserting the inferred type signature of
+    top-level declarations. By default, this is bound to `M-x t`, and
+    only works for top-level definitions.
+
+    To use, put your cursor over the name of a top-level declaration,
+    and hit `M-x t` to insert the inferred type signature.
+
+    **Note**: Currently this does not yet work with Cryptol 2.
   * `cryptol-mode` now works on Emacs 23 and below (issue #2.)
   * Fix (some) libedit stupidity on Linux which broke `M-x
     cryptol-version` and `M-x cryptol-backends` (issue #13.)
+  * Improved operator and constructor highlighting.
+  * `imenu` support now identifies Cryptol 1 theorems and Cryptol 2 properties.
+  * `imenu` now auto-rescans buffers for properties/theorems.
+  * Bug fixes to `imenu` indexing
 
 0.0.2 - Released March 3rd, 2013
 --------------------------------