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-users AT banyan.cs.uiuc.edu
Subject: [Maude-help] Maude 2.0 for Mac OS X ?
Date: Wed, 18 Jun 2003 11:59:27 +0200
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Organization: ELP
Resent-date: Wed, 18 Jun 2003 11:51:01 -0500
Resent-from: maude-users-admin AT banyan.cs.uiuc.edu
Resent-message-id: <200306181651.h5IGp1v05327 AT banyan.cs.uiuc.edu>
Resent-to: maude-help AT banyan.cs.uiuc.edu

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