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
Date: Mon, 26 Nov 2001 09:25:50 +0100
From: "Gerrit P. Haase" <gp AT familiehaase DOT de>
X-Mailer: The Bat! (v1.53t) Business
Reply-To: "Gerrit P. Haase" <cygwin AT cygwin DOT com>
Organization: Esse keine toten Tiere
X-Priority: 3 (Normal)
Message-ID: <30128632984.20011126092550@familiehaase.de>
To: "Gustavo Guerra" <gustavobt AT mail DOT com>
CC: "Gerrit P. Haase" <cygwin AT cygwin DOT com>
Subject: Re: SML
In-Reply-To: <006001c17614$236c7b20$218388c1@ist.utl.pt>
References: <01f101c175f6$2d3bc160$218388c1 AT ist DOT utl DOT pt>
 <4298787939 DOT 20011126010825 AT familiehaase DOT de>
 <006001c17614$236c7b20$218388c1 AT ist DOT utl DOT pt>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Sender: 320081107336-0001 AT t-dialin DOT net

Hallo Gustavo,

Am 2001-11-26 um 01:47 schriebst du:

>> What about Ocaml?  It builds without problems.

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

The only free available I see is SML/NJ which is known to work with
Isabelle:

And I found a very old posting where someone told us that he has a
patch how to build SML/NJ (109), I think if it works then it should
work now too.

Ciao,

Gerrit P. Haase                            mailto:gp AT familiehaase DOT de
-- 
=^..^=


--
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/