Skip to Content.
Sympa Menu

maude-help - Re: [Maude-help] emacs mode for maude?

maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] emacs mode for maude?


Chronological Thread 
  • From: "Ambarish Sridharanarayanan" <srdhrnry AT uiuc.edu>
  • To: <ethan.aubin AT pobox.com>
  • Cc: <maude-help AT banyan.cs.uiuc.edu>
  • Subject: Re: [Maude-help] emacs mode for maude?
  • Date: Wed, 3 Dec 2003 22:42:44 -0600 (CST)
  • Importance: Normal
  • List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
  • List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Ethan Aubin said:
> Hi, Has anyone developed a emacs mode for maude files? I'm using
> the cygwin version of maude with emacs 21. Any pointers
> appreciated - Ethan

Yes, there is a mode developed for XEmacs available at the Maude page
itself (http://maude.cs.uiuc.edu/download/); the README file included
indicates that it does not run on GNU Emacs.

--
Ambarish







Archive powered by MHonArc 2.6.16.

Top of Page