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 

For the record, the multitudes (surely) of FreeBSD users might also
take advantage of that project's pre-compiled packages:
with: pkg_add -r isabelle-2007

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


Attachment: pgpFuudTgYwW7.pgp
Description: PGP signature

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