maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] maude-2.3 or maude-2.4?

From: Francisco Durán <duran AT lcc.uma.es>
To: Krzysztof Majewski <krzys AT ifi.uio.no>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] maude-2.3 or maude-2.4?
Date: Wed, 20 Jan 2010 16:40:07 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Hi Chris,

The differences from 2.3 to 2.4 are described at http://maude.cs.uiuc.edu/versions/2.4/Changes . But these changes shouldn't affect parsing. I know of several issues between alphas, but as far as I know not between 2.3 and 2.4.

If you send the files I can try to take a look.

Paco

El 20/01/2010, a las 14:18, Krzysztof Majewski escribió:

Dear List,
what's the deal with 2.3 vs. 2.4? I have some code that parses under 2.3
but not under 2.4. This is on a Linux box. Details available on request.

chris
_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

[Maude-help] maude-2.3 or maude-2.4?, Krzysztof Majewski, 01/20/2010
- Re: [Maude-help] maude-2.3 or maude-2.4?, Francisco Durán, 01/20/2010