maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] The way to use linear.maude

From: Steven Eker <eker AT csl.sri.com>
To: "Guoqiang Li" <li.g AT agusa.i.is.nagoya-u.ac.jp>
Cc: maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] The way to use linear.maude
Date: Thu, 10 Apr 2008 16:46:04 -0800
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

It's a bug; the importation of MetaLevelOpSymbol specials is broken. It will
be fixed in the upcoming 2.4 release.

Steven

On Monday 07 April 2008 21:38, Guoqiang Li wrote:
> Hi,
>
> Today I have tried different versions of Maude, listed as
>
> Maude 2.2, 2.3 for windows (MOMENT group),
>
> Maude 2.3 for linux,
>
> The problem I met yesterday has occured in all of the above versions.
>
> Best regards, Guoqiang Li

[Maude-help] The way to use linear.maude, Guoqiang Li, 04/07/2008
- Re: [Maude-help] The way to use linear.maude, Steven Eker, 04/07/2008
  - Re: [Maude-help] The way to use linear.maude, Guoqiang Li, 04/07/2008
    - Re: [Maude-help] The way to use linear.maude, Steven Eker, 04/10/2008