cryptol-mode 0.1.0

• 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