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:[EMAIL PROTECTED] -- =^..^= -- 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/
