[isabelle-dev] stone age for another reason

[Florian Haftmann]

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:

http://cswww.essex.ac.uk/staff/norbert/projects/isawin/
http://users.abo.fi/vpreotea/isabelle/

Maybe that helps.

	Florian

-- 

Home:
http://www.in.tum.de/~haftmann

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

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