This is the mail archive of the
cygwin@cygwin.com
mailing list for the Cygwin project.
Re: SML
----- Original Message -----
From: "Gerrit P. Haase" <gp@familiehaase.de>
To: "Gustavo Guerra" <gustavobt@mail.com>
Cc: <cygwin@cygwin.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/