maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] a beginner question....

From: Marinella Petrocchi <marinella.petrocchi AT iit.cnr.it>
To: Steven Eker <eker AT csl.sri.com>
Cc: maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] a beginner question....
Date: Wed, 25 Feb 2009 13:39:07 +0100
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi Steven,

I attach 2 screenshots oh the shell, the first is obtained by typing:
red 1 + 1

the second by typing:
reduce 1 + 1

actually, it seems that Maude commands are completely ignored as such.
the red command is probably looking for a file to be edited....

..What should I do?
marinella

Steven Eker wrote:
> BTW the command "red" runs a restricted version of the GNU editor program
> "ed"
> under most linux installs:
>
> http://www.gnu.org/software/ed/
>
> Steven
>
> On Tuesday 24 February 2009 02:54, Marinella Petrocchi wrote:
>

[Maude-help] a beginner question...., Marinella Petrocchi, 02/23/2009
- Re: [Maude-help] a beginner question...., Mike Kaplan, 02/23/2009
  - Re: [Maude-help] a beginner question...., Marinella Petrocchi, 02/24/2009
    - Re: [Maude-help] a beginner question...., Steven Eker, 02/24/2009
      - Re: [Maude-help] a beginner question...., Marinella Petrocchi, 02/25/2009
      - Re: [Maude-help] a beginner question...., Marinella Petrocchi, 02/25/2009
- Re: [Maude-help] a beginner question...., Steven Eker, 02/24/2009