Be the first to post a text review of Emacs Maude mode. Rate and review a project by clicking thumbs up or thumbs down in the right column.

• Tracker artifact added

  peti created the Highlighting doesn\'t work for types like Map{X,Y} artifact

  posted by peti 53 days ago

• maude-mode 0.1 file released: maude-mode.tar.gz

  2008-04-23 Rudi Schlatte <rudi@constantly.at> * maude-mode.el (maude-current-line): Function added. (maude-indent-line): Use it. 2007-07-11 Rudi Schlatte <rudi@constantly.at> * maude-mode.el (maude-start-of-comment): renamed from maude-in-comment-p, return start of comment position instead of t/nil. (maude-indent-line): Support for Maude object-based notation. 2007-07-06 Rudi Schlatte <rudi@constantly.at> * maude-mode.el: initial xemacs support, lightly tested 2007-07-05 Rudi Schlatte <rudi@constantly.at> * maude-mode.el (maude-font-lock-keywords, maude-warnings): fth, endfth are in core maude. 2007-06-27 Rudi Schlatte <rudi@constantly.at> * maude-mode.el (maude-font-lock-keywords): more permissive variable names. (maude-indent-line): use whitespace instead of word boundaries for indentation of keywords, so e.g. "in-buffer" at beginning of line is not indented like the command "in". 2007-06-26 Rudi Schlatte <rudi@constantly.at> * maude-mode.el (maude-mode-menu, maude-mode): Add "Maude" pull-down menu. 2007-06-25 Rudi Schlatte <rudi@constantly.at> * maude-mode.el: change fontification so that equations and rewrite rules across multiple lines are colored. Support views in core maude. (maude-flk-label, maude-font-lock-keywords): support typenames like Map{Nat,Qid} etc. (maude-font-lock-keywords): Support --- comments

  posted 564 days ago

• File released: /maude-mode/0.1/maude-mode.tar.gz

  posted 564 days ago