maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

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

From: Salvador Lucas <slucas AT dsic.upv.es>
To: Steven Eker <eker AT csl.sri.com>
Cc: maude-help AT banyan.cs.uiuc.edu
Subject: Re: [Maude-help] Maude 2.0 for Mac OS X ?
Date: Mon, 23 Jun 2003 10:35:30 +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 Steven,

Steven Eker wrote:

> The person who was making MacOSX binaries for us switched to Mac/Linux
> (hence the Mac/Linux binary on our website).

Thanks for your help!

Regards,

Salvador.

[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