maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Francisco Duran <duran AT lcc.uma.es>
- To: Matthias Radestock <matthias AT sorted.org>
- Cc: maude-help AT peepal.cs.uiuc.edu
- Subject: Re: [Maude-help] partial op declaration breaks module instantiation
- Date: Thu, 01 Jun 2006 17:35:37 +0200
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Matthias,
Btw, are you planning to make parameterised views part of Core Maude at
some stage?
We'd like to. But I cannot tell you when.
Paco
- Re: [Maude-help] partial op declaration breaks module instantiation, Francisco Duran, 06/01/2006
- Re: [Maude-help] partial op declaration breaks module instantiation, Matthias Radestock, 06/01/2006
- Re: [Maude-help] partial op declaration breaks module instantiation, Francisco Duran, 06/01/2006
- Re: [Maude-help] partial op declaration breaks module instantiation, Matthias Radestock, 06/01/2006
Archive powered by MHonArc 2.6.16.