maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: Martin <br_marty AT yahoo.com>
- To: maude-help AT banyan.cs.uiuc.edu
- Subject: [Maude-help] Re: another minor probem with parameterized modules
- Date: Mon, 8 Dec 2003 15:34:00 +0000 (GMT)
- List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
- List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Im sorry, but i have to re-pose the question as i
cannot get it to work and could not find any
indication in neither manual nor primer documents.
Im somewhat puzzeled as what does cause these problems
but im rather sure its something pretty obvious which
i fail to realize.
i would be gratefull for any indication as to what
could cause the mentioned problems.
Martin
PS: the problem concerned reductions in paramteric
modules which threw syntactic errors already.
________________________________________________________________________
BT Yahoo! Broadband - Save £80 when you order online today. Hurry! Offer ends
21st December 2003. The way the internet was meant to be.
http://uk.rd.yahoo.com/evt=21064/*http://btyahoo.yahoo.co.uk
- [Maude-help] Re: another minor probem with parameterized modules, Martin, 12/08/2003
- <Possible follow-up(s)>
- [Maude-help] Re: another minor probem with parameterized modules, Martin, 12/08/2003
Archive powered by MHonArc 2.6.16.