Re: [isabelle] HOL for x86_64 Linux?
On Thu, 15 May 2008, Robert Rothenberg wrote:
> Is there a version of HOL compiled for 64-bit Linux available?
At the moment 64bit Isabelle/HOL is rarely needed, so we do not distribute
it precompiled. There is nothing special about compiling Isabelle logics,
the sources are just the Isabelle sources. See also
http://isabelle.in.tum.de/installation.html, especially heeding this:
... For other platforms (Solaris, BSD, Cygwin etc.), Isabelle needs to
be compiled manually, see also
This archive was generated by a fusion of
Pipermail (Mailman edition) and