maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Alberto Lluch Lafuente <albertolluch AT gmail.com>
- To: Tobias Mühlbauer <tobias.muehlbauer AT gmail.com>
- Cc: maude-help AT cs.uiuc.edu
- Subject: Re: [Maude-help] Textual representation of the metarepresentation of a module
- Date: Wed, 9 Nov 2011 17:09:18 +0100
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
Thanks a lot Tobias!
I am following your suggestion and your implementation of the createCINNI tool and it seems to work for me.
Best regards,
Alberto
- [Maude-help] Textual representation of the metarepresentation of a module, Alberto Lluch Lafuente, 11/03/2011
- Re: [Maude-help] Textual representation of the metarepresentation of a module, Tobias Mühlbauer, 11/09/2011
- Re: [Maude-help] Textual representation of the metarepresentation of a module, Alberto Lluch Lafuente, 11/09/2011
- Re: [Maude-help] Textual representation of the metarepresentation of a module, Tobias Mühlbauer, 11/09/2011
Archive powered by MHonArc 2.6.16.