maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Maude-help Digest, Vol 15, Issue 3

From: mina ana <touta8 AT live.fr>
To: <maude-help AT cs.uiuc.edu>
Subject: Re: [Maude-help] Maude-help Digest, Vol 15, Issue 3
Date: Tue, 22 Feb 2011 18:26:55 +0000
Importance: Normal
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Good evening,

I am Mina from Algeria i study software engineering & it's my last year i need help because my project on maude & strategy of maude & i have no idea about it

am using maude on eclipse i tried some exemples from the manual

but i need more help for startegy of maude & how can i excute the module SMOD

please am waitting the answer

Thank you before

Re: [Maude-help] Maude-help Digest, Vol 15, Issue 3, mina ana, 02/22/2011
- Re: [Maude-help] Maude-help Digest, Vol 15, Issue 3, Michael George Hart, 02/22/2011