maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Rewriting with a particular rule

From: Francisco Durán <duran AT lcc.uma.es>
To: Vladimir Klebanov <klebanov AT kit.edu>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] Rewriting with a particular rule
Date: Tue, 12 May 2015 19:34:41 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

> Of course, it is much more comfortable to use the Anima tool, which is
> fantastic and, I think, should be advertised more prominently on the
> Maude page.

Suggestion accepted. We’ll include a pointer to the Anime tool.

I’d like to update and complete the Maude tools section in the Maude site.
Suggestions are welcome.

Cheers,

Francisco

[Maude-help] Rewriting with a particular rule, Vladimir Klebanov, 05/11/2015
- Re: [Maude-help] Rewriting with a particular rule, Steven Eker, 05/11/2015
- Re: [Maude-help] Rewriting with a particular rule, Andrew Cholewa, 05/11/2015
- Re: [Maude-help] Rewriting with a particular rule, Julia Sapiña Sanchis, 05/11/2015
  - Re: [Maude-help] Rewriting with a particular rule, Vladimir Klebanov, 05/12/2015
    - Re: [Maude-help] Rewriting with a particular rule, Francisco Durán, 05/12/2015
      - Re: [Maude-help] Rewriting with a particular rule, María Alpuente, 05/14/2015
        
        Re: [Maude-help] Rewriting with a particular rule, Francisco Durán, 05/14/2015