Skip to Content.
Sympa Menu

maude-help - [Maude-help] maude-mode and GNU Emacs?

maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] maude-mode and GNU Emacs?


Chronological Thread 
  • From: Peter Simons <simons AT cryp.to>
  • To: maude-help AT banyan.cs.uiuc.edu
  • Subject: [Maude-help] maude-mode and GNU Emacs?
  • Date: 08 Jan 2004 15:21:34 +0100
  • List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
  • List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi,

I tried to use the "maude-mode" found on the home page with
GNU Emacs 21.3.1 under Linux, but the attempt was not
successful. I can start Maude from Emacs, but sending the
current buffer to the process (or any of the advanced
functions) doesn't work.

So I wonder whether anyone has managed to port the code to
GNU Emacs rather than XEmacs?

Any hints?

Peter




Archive powered by MHonArc 2.6.16.

Top of Page