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, 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 MHonArc.