maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[[Maude-help] ] Maude 2.7 for Windows

From: Julia Sapiña Sanchis <jsapina AT dsic.upv.es>
To: maude-help AT cs.uiuc.edu
Subject: [[Maude-help] ] Maude 2.7 for Windows
Date: Thu, 17 Sep 2015 13:53:37 +0200

Hi,

For those Windows users like me, I have taken the liberty of drafting a
compilation guide for Maude 2.7, which is based largely on the (now partially
outdated) guide that is referenced in the Maude website.

If you think you may be interested, the address is:

http://users.dsic.upv.es/~jsapina/maude.html

Cheers

Julia

[[Maude-help] ] Maude 2.7 for Windows, Julia Sapiña Sanchis, 09/17/2015