*** 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
Here are some notes on manual installation of x86_64-cygwin:
* Setup tool: http://isabelle.in.tum.de/cygwin_2017/setup-x86_64.exe
* Package repository: http://isabelle.in.tum.de/cygwin_2017
* Important packages: curl, perl, perl-libwww-perl, rlwrap, unzip
An alternative is to use the Cyg
Are there remaining uses of a strictly 32bit Linux?
Giving that up means we no longer need to provide both x86_64-linux and
x86-linux for Isabelle tools. It also shrinks the Linux JDK component
significantly.
Of course, the important x86-linux Poly/ML will still be there (although
it should be pr