maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Getting PMaude to work

From: Diego Marcia <gpimple AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Getting PMaude to work
Date: Tue, 31 Mar 2015 01:38:10 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Hello,
I need to use PMaude (http://maude.cs.uiuc.edu/pmaude/pmaude.html) for
a thesis project, but I can't load it.
Has anyone of you managed to use it? Is there somebody who can help me
getting through this task?

Thank you in advance.

[Maude-help] Getting PMaude to work, Diego Marcia, 03/30/2015