Re: [isabelle] HOL for x86_64 Linux?



On May 16 at 11:57 +0200, Makarius wrote:
>   ... For other platforms (Solaris, BSD, Cygwin etc.), Isabelle needs to 
>   be compiled manually, see also 
>   http://isabelle.in.tum.de/dist/Isabelle/INSTALL

For the record, the multitudes (surely) of FreeBSD users might also
take advantage of that project's pre-compiled packages:
  http://portsmon.firepipe.net/portoverview.py?category=math&portname=isabelle
with: pkg_add -r isabelle-2007

Or download and compile via the FreeBSD ports system:
    cd /usr/ports/math/isabelle
    make install clean

Tim.

Attachment: pgpFuudTgYwW7.pgp
Description: PGP signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.