Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Dear Fayza,

The most recent one is http://maude.sip.ucm.es/mobilemaude/. It includes the original proposal described in the other site and some later related contributions and extensions, including a real distributed implementation. 

I 'd say that the information in the site is enough to install and use Mobile Maude, assuming that you are already familiar with Maude. 

Cheers,

Francisco Duran

El 23/01/2011, a las 23:45, fayza bouchoul escribió:

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/

  http://maude.sip.ucm.es/mobilemaude/

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

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help