On Thu, 28 May 2015, Peter Lammich wrote:
When I start Isabelle, I get the following warning message on the
console:
### Cannot execute Poly/ML in 32bit mode (missing shared libraries for C/C++)
### Using bulky 64bit version of Poly/ML instead
Is it a problem to use the bulky 64bit version?
I think the main (and only) problem is that it uses significantly more
memory.
On 28/05/15 11:21, Peter Lammich wrote:
Hi list,
When I start Isabelle, I get the following warning message on the
console:
### Cannot execute Poly/ML in 32bit mode (missing shared libraries for
C/C++)
### Using bu
Hi list,
When I start Isabelle, I get the following warning message on the
console:
### Cannot execute Poly/ML in 32bit mode (missing shared libraries for
C/C++)
### Using bulky 64bit version of Poly/ML instead
Is it a problem to use the bulky 64bit version?
--
Peter