maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] can I run maude in cygwin?

From: Steven Eker <eker AT csl.sri.com>
To: maude-help AT peepal.cs.uiuc.edu
Cc: "maude-help AT maude.cs.uiuc.edu" <maude-help AT peepal.cs.uiuc.edu>
Subject: Re: [Maude-help] can I run maude in cygwin?
Date: Tue, 16 Sep 2008 10:09:40 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

The Moment Project make a Maude for Windows binary:

http://moment.dsic.upv.es/index.php?option=com_docman&task=cat_view&gid=18&Itemid=41

Steven

On Saturday 13 September 2008 15:32, YUJIAN FU wrote:
> Dear Maude Helper:
>
> I don't have linux now. but I have cygwin and X-server. How can I run maude
> in cygwin? Thanks a lot.
>
>
>
> Yujian Fu, PhD,
> Assistant Professor
> Department of Computer Science
> Alabama A&M University
> ext: 8461
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help

[Maude-help] can I run maude in cygwin?, YUJIAN FU, 09/13/2008
- Re: [Maude-help] can I run maude in cygwin?, Steven Eker, 09/16/2008