[isabelle-dev] NEWS: Windows platform requires x86_64
makarius at sketis.net
Sat Sep 30 13:18:45 CEST 2017
*** System ***
* Windows and Cygwin is for x86_64 only. Old 32bit platform support has
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).
More information about the isabelle-dev