Hi, can you please help?
Thanks! -- Giamp
----- Forwarded message from Lawrence Paulson lp15@cam.ac.uk ----- Date: Fri, 2 Dec 2005 11:48:53 +0000 From: Lawrence Paulson lp15@cam.ac.uk Reply-To: Lawrence Paulson lp15@cam.ac.uk Subject: Re: installation To: giamp@dmi.unict.it
Try your question at polyml@informatics.ed.ac.uk. If they recomment Poly/ML-4.2, you need to download our Poly/ML-4.14, which is a version of that patched "backwards" to support the current Isabelle release.
There's always SML/NJ, though it's slower for big proofs.
Larry
On 2 Dec 2005, at 11:29, giamp@dmi.unict.it wrote:
I'm trying to install Isabelle on an AMD Athlon 64, which is a 64 bit x86 architecture.
Polyml gives a known segmentation fault, but installing its fix produces:
Poly/ML is not available for this architecture - x86_64
Ever heard about this? Do I just need to change machine?
----- End forwarded message -----
---------------------------------------------------------------- This message was sent using IMP, the Internet Messaging Program.