From 48fd85953db84ad98cf9733f9a544eede9fde2d7 Mon Sep 17 00:00:00 2001 From: Austin Seipp Date: Sat, 26 Apr 2014 12:11:54 -0500 Subject: [PATCH] Update CHANGELOG.md Signed-off-by: Austin Seipp --- CHANGELOG.md | 16 +++++++++++++++- 1 file changed, 15 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 7f4922c..3109c9d 100644 --- a/CHANGELOG.md +++ b/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 --------------------------------