maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude 3, compilator, other tools

From: Ellef Fange Gjelstad <ellef AT kikora.no>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] Maude 3, compilator, other tools
Date: Wed, 11 Sep 2013 10:27:38 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

What is the status and roadmap for Maude 3?

Where do I find information for the Maude compiler, briefly mentioned in the Maude manual? I know that it isn't supported very well, but it would still be interesting.

Regards,

Ellef Fange Gjelstad

[Maude-help] Maude 3, compilator, other tools, Ellef Fange Gjelstad, 09/11/2013
- Re: [Maude-help] Maude 3, compilator, other tools, Steven Eker, 09/16/2013