maude-help AT lists.cs.illinois.edu
Subject: Maude-help mailing list
List archive
- From: fayza bouchoul <fbouchoul AT gmail.com>
- To: maude-help AT cs.uiuc.edu
- Subject: [Maude-help] begining mobile maude
- Date: Sun, 23 Jan 2011 23:45:09 +0100
- List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
- List-id: <maude-help.cs.uiuc.edu>
Hi,
I am a beginner in maude I have installed maude under eclipse
I want to use mobile maude, I found two sites
http://www.csl.sri.com/projects/mobile-maude/
which one presents the last release ?
can you explain me step by step how can I install and use mobile maude ?
thanks
-- Fayza Bouchoul
UFAS
UFAS
- [Maude-help] begining mobile maude, fayza bouchoul, 01/23/2011
- Re: [Maude-help] begining mobile maude, Francisco Durán, 01/25/2011
Archive powered by MHonArc 2.6.16.