[isabelle-dev] stone age for another reason
florian.haftmann at informatik.tu-muenchen.de
Fri Dec 17 10:56:33 CET 2010
> Is there a chance to make Isabelle2002 run on a Windows PC ?
> We see that Poly/ML supports Cygwin since version 5.x; does that mean
> that there is no chance with polyml-4.1.3 ?
for the last question, I think there is no chance.
For some time it has been feasible to build Isabelle under Cygwin using
SML/NJ. Here two of pages converning that floating around on the net:
Maybe that helps.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 262 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev