Email Gateway (Aug 22 2022 at 19:29): Email Gateway (Aug 22 2022 at 19:29):From: Chidi Okonkwo <chukwuoma4caritasuni@gmail.com>
Good day. Please I am finding it difficult to get the installation pack for
widows 32 I can only get the 64 bit version which does not instal on 32 bit
version. I would be grateful if you can help out. Thanks
Okonkwo Chidi
Email Gateway (Aug 22 2022 at 19:30):From: Makarius <makarius@sketis.net>
The old x86 32bit platform is being phased out: all new hardware has
been routinely 64bit in the past 5 years (or more), and operating
systems are about to discontinue 32bit applications. Also note that
32bit has a hard limit of approx. 3.5 GB memory, but Isabelle requires a
bit more than that.
Nonetheless, you can go back to an older Isabelle release where 32bit
Windows was still supported and make some small experiments with it,
e.g. see https://isabelle.in.tum.de/website-Isabelle2017
If you only have old hardware and cannot replace that easily, I
recommend to delete Windows and install a version of Linux specifically
for low resources, e.g. see
https://itsfoss.com/lightweight-linux-beginners -- Linux is more
efficient than Windows in the use of limited resources.
Your CPU might be actually 64bit and you can use current 64bit Linux
with current 64bit Isabelle. But a minimum of 4 GB memory is still
required, better 8 GB: you can buy extra memory rather cheaply for old
computers.
Makarius
Last updated: Nov 21 2024 at 12:39 UTC