An EMACS major mode for editting