maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude 2.0 for Mac OS X ?

From: Salvador Lucas <slucas AT dsic.upv.es>
To: maude-help AT banyan.cs.uiuc.edu
Subject: [Maude-help] Maude 2.0 for Mac OS X ?
Date: Fri, 20 Jun 2003 16:20:58 +0200
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Organization: ELP

Dear friends,

I recently knew that Maude 2.0 is available now.
This is great!

Since I usually work on a Mac, I would like to be
able to use Maude 2.0 also on my Mac. Is there any
(plan to have a) version of Maude 2.0 running on
Mac OS X?

Best regards,

Salvador.

____________________________________________________________________

Salvador Lucas
Departamento de Sistemas Informaticos y Computacion (DSIC)

Universidad Politecnica de Valencia | phone: + 34 96 387 7007 (73531)
Camino de Vera, s/n | fax: + 34 96 387 7359
E-46022 Valencia (Spain) | e-mail:
slucas AT dsic.upv.es

http://www.dsic.upv.es/users/elp/slucas.html
____________________________________________________________________

[Maude-help] Maude 2.0 for Mac OS X ?, Salvador Lucas, 06/18/2003
- <Possible follow-up(s)>
- [Maude-help] Maude 2.0 for Mac OS X ?, Salvador Lucas, 06/20/2003
  - Re: [Maude-help] Maude 2.0 for Mac OS X ?, Steven Eker, 06/20/2003
    - Re: [Maude-help] Maude 2.0 for Mac OS X ?, Salvador Lucas, 06/23/2003