Improve constructor highlighting

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Improve operator highlights

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: support for properties

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: fix M-x cryptol-version

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: basic REPL support

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: stub-out (cryptol-backends) for now

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v1: M-x t now works (closes #14)

'M-x t' is by default bound to cryptol-insert-type-sig, which will
insert the type signature for the top-level function under point above
it.

v2 isn't supported yet.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
imenu: enable auto rescan

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Rename the imenu entry for theorems

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Make theorem/property indexing more robust

Otherwise we would incorrectly index 'Salsa20_Foo' as just 'Salsa20' for
example.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
cryptol v2: M-x t does not yet work

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Update copyright

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Bump version to 0.1.0

Signed-off-by: Austin Seipp <aseipp@pobox.com>
README: mention `M-x t`, and version support

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Update CHANGELOG.md

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Version 0.1.0

Signed-off-by: Austin Seipp <aseipp@pobox.com>