On Wed, 16 Nov 2011, Rob Arthan wrote:
On 16 Nov 2011, at 15:17, Phil Clayton wrote:
I suspect those involved with large scale theorem proving will start moving to 64 bit OSes, if not already, so one application can address more than 4GB memory, as that amount of physical memory is becoming quite common these days.
Seconded: at least one user of ProofPower (me) and many users of Isabelle are already in that situation.
Yes, the big applications are already using x86_64 routinely, with 8-32 GB memory requirement. Pretty soon, x86 will be only for "small" portable devices.
I've occasionally asked myself about the future of the Cygwin platform for Isabelle users, and was starting to think of MinGW 64 instead. Fortunately, the Cygwin maintainers have recently woke up, and made some initial moves towards proper x86_64 support.
Makarius