Maude-help mailing list

[Jeff Thompson <jeff AT thefirst.org>]

The file "mobile-maude.maude" and examples at the Mobile Maude website 
http://maude.sip.ucm.es/mobilemaude/ seem to be different than the one 
distributed with the Maude book. Is the file on the web site older than 
the one from the book, and if so will it be updated?

Also, the first Google hit for "mobile maude" turns up a page at SRI 
http://www.csl.sri.com/projects/mobile-maude/ with yet another 
"mobile-maude.maude" which seems even older. If the SRI page is 
outdated, you may want to get someone to update it or point it to the 
correct site to avoid confusion (since Google seems to think it is the 
primary site).

Thank you,
- Jeff