maude-mode

Homepage: https://github.com/rudi/abs-mode

Updated:

Summary

Emacs mode for the programming language Maude

Commentary

A major mode for the rewriting logic language Maude
(http://maude.cs.illinois.edu/w/index.php/The_Maude_System).

This started with inspiration from Scott Andrew Borton's language
mode creation tutorial,
http://two-wugs.net/emacs/mode-tutorial.html

Todo:

- Full Maude (and parametrised modules)

- C-u C-c C-c to move point to end of inferior-maude buffer before
  evaluating buffer.

- Sometimes font-lock gets into an endless loop

Dependencies