Mailing-List: contact cygwin-help AT sourceware DOT cygnus DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT sources DOT redhat DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT sources DOT redhat DOT com>
List-Help: <mailto:cygwin-help AT sources DOT redhat DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender: cygwin-owner AT sources DOT redhat DOT com
Delivered-To: mailing list cygwin AT sources DOT redhat DOT com
Message-ID: <006001c17614$236c7b20$218388c1@ist.utl.pt>
From: "Gustavo Guerra" <gustavobt AT mail DOT com>
To: "Gerrit P. Haase" <cygwin AT cygwin DOT com>
References: <01f101c175f6$2d3bc160$218388c1 AT ist DOT utl DOT pt> <4298787939 DOT 20011126010825 AT familiehaase DOT de>
Subject: Re: SML
Date: Mon, 26 Nov 2001 00:47:31 -0000
MIME-Version: 1.0
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
X-OriginalArrivalTime: 26 Nov 2001 00:49:00.0882 (UTC) FILETIME=[236C7B20:01C17614]


----- Original Message -----
From: "Gerrit P. Haase" <gp AT familiehaase DOT de>
To: "Gustavo Guerra" <gustavobt AT mail DOT com>
Cc: <cygwin AT cygwin DOT com>
Sent: Monday, November 26, 2001 12:08 AM
Subject: Re: SML


> Hallo Gustavo,
>
> Am 2001-11-25 um 22:08 schriebst du:
>
> > Does anyone know an SML system that successfully compiles on cygwin?
I've
> > tried a few and none of them worked.
>
> What about Ocaml?  It builds without problems.
>

No, it has to be an SML97 compliant. I need it to use Isabelle.



--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Bug reporting:         http://cygwin.com/bugs.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/