This is the mail archive of the cygwin@cygwin.com mailing list for the Cygwin project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: SML

From: "Gerrit P. Haase" <gp at familiehaase dot de>
To: "Gustavo Guerra" <gustavobt at mail dot com>
Cc: "Gerrit P. Haase" <cygwin at cygwin dot com>
Date: Mon, 26 Nov 2001 09:25:50 +0100
Subject: Re: SML
Organization: Esse keine toten Tiere
References: <01f101c175f6$2d3bc160$218388c1@ist.utl.pt><4298787939.20011126010825@familiehaase.de><006001c17614$236c7b20$218388c1@ist.utl.pt>
Reply-to: "Gerrit P. Haase" <cygwin at cygwin dot com>

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@familiehaase.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/

References:
- SML
  - From: Gustavo Guerra
- Re: SML
  - From: Gerrit P. Haase
- Re: SML
  - From: Gustavo Guerra

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]