maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] [PMaude] Using PMaude with current version

From: gpimple+mlist AT gmail.com
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] [PMaude] Using PMaude with current version
Date: Mon, 17 Nov 2014 23:19:07 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Hello,
PMaude (http://maude.cs.uiuc.edu/pmaude/pmaude.html) seems to fail
being imported using the current version of Maude. Does anybody know
if there is a (maybe unofficial) newer version?

[Maude-help] [PMaude] Using PMaude with current version, gpimple+mlist, 11/17/2014