[X] The "/vmpk/vmpk-0.2.5-setup.exe" file could not be found or is not available. Please select another file.

Share

More
Emacs Maude mode Icon

Emacs Maude mode

beta

by rudi


Emacs mode for the programming language Maude.


http://maude-mode.sourceforge.net





Separate each tag with a space.

Release Date:

2008-04-24

Topics:

License:

Ratings and Reviews

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.

Project Feed

  • Tracker artifact added

    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

Rate and Review

Be the first person to add a text review.

Would you recommend this project?






<

Related Projects

Emacs Maude mode Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review