Skip to Content.
Sympa Menu

maude-help - [Maude-help] Re: another minor probem with parameterized modules

maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Re: another minor probem with parameterized modules


Chronological Thread 
  • 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




Archive powered by MHonArc 2.6.16.

Top of Page