[isabelle-dev] Cannot execute Poly/ML in 32bit mode

[Peter Lammich]

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