Email Gateway (Aug 18 2022 at 13:37): Email Gateway (Aug 18 2022 at 13:37):From: Nguyen Duc Thinh <nguyenducthinh1986@gmail.com>
Dear Isabelle Mailing List,
We, Thinh Nguyen and Matthew Wampler-Doty, are students currently working on
the Flyspeck project this summer in Hanoi. Some modifications have been
made recently to the linear programming part of the proof by Prof. Hales,
and we need to modify Steven Obua's thesis code. Unfortunately, it seems
that the new Isabelle2009 is not backwards compatible with this system. Is
it possible to grab archive versions of Isabelle2007 and polyml 5.1? Thank
you very much in advance!
~Thinh and Matt
Email Gateway (Aug 18 2022 at 13:37):From: Steven Obua <obua@in.tum.de>
Isabelle 2007 can be fetched from
http://isabelle.in.tum.de/download_past.html
Probably a current PolyML version will work with it?
Steven
Email Gateway (Aug 18 2022 at 13:37):From: Florian Haftmann <florian.haftmann@informatik.tu-muenchen.de>
Hi,
Older versions of Isabelle are available from the archive:
http://isabelle.in.tum.de/download_past.html.
In the distributions themselves, a INSTALL or README file should contain
hints which polyml version to use.
Do not hesitate zu ask further questions if this does not solve your
problem.
Florian
signature.asc
Email Gateway (Aug 18 2022 at 13:37):From: Makarius <makarius@sketis.net>
The official archive only covers the original source packages. I happen
to have precompiled packages of Isabelle2007 still around, see
http://www4.in.tum.de/~wenzelm/test/dist-Isabelle2007/
Since there is no index.html, you need to point to files blindly. The
directory content is as follows:
E_ppc-darwin.tar.gz
E_x86-darwin.tar.gz
E_x86-linux.tar.gz
HOL-Complex_ppc-darwin.tar.gz
HOL-Complex_x86-darwin.tar.gz
HOL-Complex_x86-linux.tar.gz
HOL_ppc-darwin.tar.gz
HOL_x86-darwin.tar.gz
HOL_x86-linux.tar.gz
Isabelle2007_library.tar.gz
Isabelle2007_pdf.tar.gz
Isabelle2007.tar.gz
polyml-5.1_ppc-darwin.tar.gz
polyml-5.1_sparc-solaris.tar.gz
polyml-5.1_x86_64-linux.tar.gz
polyml-5.1_x86-cygwin.tar.gz
polyml-5.1_x86-darwin.tar.gz
polyml-5.1_x86-linux.tar.gz
ProofGeneral-3.7pre071112.tar.gz
ZF_ppc-darwin.tar.gz
ZF_x86-darwin.tar.gz
ZF_x86-linux.tar.gz
E.g. download
http://www4.in.tum.de/~wenzelm/test/dist-Isabelle2007/polyml-5.1_x86-linux.tar.gz
Makarius
Last updated: May 03 2024 at 04:19 UTC