Elisp files for using Magma with Emacs

David Kohel

These are some elisp files for running magma under emacs, and for formatting and keyword hilighting of magma code under emacs. This is adapted from version of William Stein, based on the GNU elisp shell.el.

README
Magma in an emacs shell: magma.el (plus a sample .magma-emacs and .emacs_magma)
A magma-mode environment for writing magma code: magma-mode.el

Accessory files for building a customized magma-mode.el (tar file: magma-mode.tar.gz)

Shell scripts:
- make_magma_mode
Input files for generating a personalised version: