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



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


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