maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Krzysztof Majewski <krzys AT ifi.uio.no>
- To: maude-help AT cs.uiuc.edu
- Subject: [Maude-help] maude-2.3 or maude-2.4?
- Date: Wed, 20 Jan 2010 14:18:02 +0100
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
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] 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
Archive powered by MHonArc 2.6.16.