[isabelle-dev] NEWS: Windows platform requires x86_64

Makarius 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
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).


More information about the isabelle-dev mailing list