*** System ***
* Windows and Cygwin is for x86_64 only. Old 32bit platform support has
been discontinued.
This refers to Isabelle/1da2ef1fd8c1. It means that the main application
and Cygwin Posix environment are on x86_64, but it is still possible to
run native x86-windows tools (notably Poly/ML).
Some Isabelle components still need to be updated (e.g. for Sledgehammer).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
