maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

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

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: Sun, 7 Dec 2003 19:29:43 -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:
> Another quirk, when I load a file or type a command in the interpreter
> maude frequently does not respond and I need to type Ctrl-D to get back
> to the prompt. Is maude sensitive to unix vs windows newlines?

Did you try Ctrl-C? Maude will not return a "Maude> " prompt after a line
it interprets as a partial command, and will instead print just a "> ".
Ctrl-C should return you to the Maude prompt. On my Windows XP machine,
Maude handles Windows newlines fine.

--
Ambarish

[Maude-help] emacs mode for maude?, Ethan Aubin, 12/03/2003
- Re: [Maude-help] emacs mode for maude?, Ambarish Sridharanarayanan, 12/03/2003
  - Re: [Maude-help] emacs mode for maude?, Ethan Aubin, 12/06/2003
    - Re: [Maude-help] emacs mode for maude?, Ambarish Sridharanarayanan, 12/07/2003