[isabelle-dev] stone age for another reason

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Fri Dec 17 10:56:33 CET 2010

Hi Walther,

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




PGP available:

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 262 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20101217/958e882f/attachment.sig>

More information about the isabelle-dev mailing list