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 bulky 64bit version of Poly/ML instead
Is it a problem to use the bulky 64bit version?
--
Peter
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
