maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] using maude

From: Steven Eker <eker AT csl.sri.com>
To: "faiza belala" <belalafaiza AT hotmail.com>, maude-help AT banyan.cs.uiuc.edu
Subject: Re: [Maude-help] using maude
Date: Mon, 28 Apr 2003 12:43:45 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>
Organization: SRI International

Hi,

Our current publically available system, Maude 1.0.5 does not support
Microsoft Windows. Our next system, Maude 2.0, which will be released in late
June, will do.

Best regards,

Steven Eker

On Saturday 26 April 2003 05:12 am, faiza belala wrote:
> I want to use system Maude on Windows XP, I would like to have some
> instructions
>
>
>
>
> _________________________________________________________________
> Help STOP SPAM with the new MSN 8 and get 2 months FREE*
> http://join.msn.com/?page=features/junkmail
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/mailman/listinfo/maude-help

[Maude-help] using maude, faiza belala, 04/26/2003
- Re: [Maude-help] using maude, Steven Eker, 04/28/2003