Poly/ML December 2005

polyml@lists.polyml.org

4 participants
2 discussions

Poly/ML version 4.2.0
by David.Matthews＠prolingua.co.uk 08 Dec '05

08 Dec '05

I've now fully released the new version of Poly/ML. I've upped the version number to 4.2.0 for the release but it is essentially version 4.1.4 with a very few changes. This is now the official release on the Poly/ML website. I've created an installation for Windows but I haven't attempted to created binary installations for any other operating system. Since Poly/ML is now under LGPL it should be possible to package it in with the individual operating system distributions. If anyone does make a binary distribution could they let me know so that I can put a reference to it on the downloads page and if appropriate include a copy on the sourceforge site. David.

2 2

Fwd: Re: installation
by giamp＠dmi.unict.it 05 Dec '05

05 Dec '05

Hi, can you please help? Thanks! -- Giamp ----- Forwarded message from Lawrence Paulson <lp15(a)cam.ac.uk> ----- Date: Fri, 2 Dec 2005 11:48:53 +0000 From: Lawrence Paulson <lp15(a)cam.ac.uk> Reply-To: Lawrence Paulson <lp15(a)cam.ac.uk> Subject: Re: installation To: giamp(a)dmi.unict.it Try your question at polyml(a)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(a)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.

3 3

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

Poly/ML December 2005