[isabelle-dev] NEWS: Windows platform requires x86_64

[Makarius]

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