maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Matching not correct

From: Jon Haugsand <jonhaug AT ifi.uio.no>
To: Steven Eker <eker AT csl.sri.com>
Cc: maude-help AT peepal.cs.uiuc.edu
Subject: Re: [Maude-help] Matching not correct
Date: 24 Jun 2004 13:07:19 +0200
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

* Steven Eker
> The will be an alpha release with a fix in the next day or so, with a
> public
> release in a week or two. If you would like to be an alpha tester let me
> know
> and I will send you the alpha release site details.

I am still in the waiting for the public release... Is it there or?
(I am going on a vacation for the summer, but will be back in a month
or so. Thus I don't need a new Maude until August.)

--
Jon Haugsand
Dept. of Informatics, Univ. of Oslo, Norway,
mailto:jonhaug AT ifi.uio.no
http://www.ifi.uio.no/~jonhaug/, Phone: +47 22 85 24 92

[Maude-help] Matching not correct, Jon Haugsand, 06/08/2004
- Re: [Maude-help] Matching not correct, Steven Eker, 06/08/2004
  - Re: [Maude-help] Matching not correct, Jon Haugsand, 06/08/2004
  - Re: [Maude-help] Matching not correct, Jon Haugsand, 06/24/2004