----- Original Message ----- From: "Gerrit P. Haase" <[EMAIL PROTECTED]> To: "Gustavo Guerra" <[EMAIL PROTECTED]> Cc: <[EMAIL PROTECTED]> 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/
