安装Maude
设置环境变量:
在.bash_profile文件里加入下面一句话：
export MAUDE_LIB=/home/yourname/maude
下载maude-mode.el文件，并拷贝到/home/yourname/.emacs.d文件夹下
配置init.el文件，在init.el 文件里加入以下代码：
init.el的路径： /home/yourname/.emacs.d/
(autoload 'maude-mode "maude-mode" "Maude-programming" t)
(setq auto-mode-alist (cons '("\\.maude$" . maude-mode)
auto-mode-alist))