maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

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

From: "Guoqiang Li" <li.g AT agusa.i.is.nagoya-u.ac.jp>
To: "Steven Eker" <eker AT csl.sri.com>, <maude-help AT peepal.cs.uiuc.edu>
Subject: Re: [Maude-help] The way to use linear.maude
Date: Tue, 8 Apr 2008 13:38:17 +0900
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

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