*** OBSOLETE ***

The files here are being kept for historical reasons only. Please
use the following instructions for Abella/Emacs interactions

  https://abella-prover.org/reference-guide.html#emacs

--------------------------------------------------------------------------------
*** OLD INSTRUCTIONS ***

The files lprolog.el and abella.el provide editing modes for .sig/.mod
and .thm files respectively. To use these, add the following to your
.emacs file.

  (load "/path/to/abella/emacs/lprolog.el")
  (load "/path/to/abella/emacs/abella.el")

Where /path/to/abella is replaced with the actual location you have
installed Abella.
