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