Add recoloring option to menu.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add makefile for bytecode compilation.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Fix REPL file loading.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Remove make-repl-command.

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

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add (provide) for missing modes.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Derive from fundamental-mode instead of prog-mode.

prog-mode isn't supported on Emacs 23 or below. Let's just abandon it
instead of implementing weird hacks.

Closes #2.

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

Signed-off-by: Austin Seipp <aseipp@pobox.com>
A quieter 'make' invocation.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add backends entry to imenu.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Abstract out version information code.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add code to hack around libedit stupidity.

Related: Issue #1. Closes issue #13.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Fix (cryptol-version).

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

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

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Revert "Doc fix."

This reverts commit b7f8ab0bef4165d48908e43b4bdf4c50a099e56b.
Don't read .cryptolrc or CRYPTOLFLAGS when invoking the REPL.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Add option for default cryptol mode.

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

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

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