[isabelle-dev] stone age for another reason

Walther Neuper wneuper at ist.tugraz.at
Thu Dec 16 17:28:50 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 ?


More information about the isabelle-dev mailing list