This is the mail archive of the
cygwin@cygwin.com
mailing list for the Cygwin project.
Re: SML
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/