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 _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
