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. Accessory files for building a customized magma-mode.el (tar file: magma-mode.tar.gz)