%title% Isabelle Binary Distribution %body%

NOTE. The binary distribution is designed for easy installation of Isabelle, and related tools such as Proof General and X-Symbol. There is no manual intervention required, provided that the versions of packages as provided below are used.

(1) Linux/x86 systems with RPM

This is the binary distribution of for Linux/x86 systems. It requires RPM based package management (as used by most Linux distributions), and root user access to install.

Example installation in /usr/share (the default location):

rpm -i --prefix /usr/share polyml.i386.rpm
rpm -i --prefix /usr/share isabelle.rpm
rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
rpm -i --prefix /usr/share proofgeneral.rpm               #requires XEmacs-21
rpm -i --prefix /usr/share xsymbol.rpm

(2) Generic Linux/x86 or Solaris/Sparc systems

The following distribution of works for any Linux/x86 or Solaris/Sparc system -- only Poly/ML is platform dependent. Installation does not rely on package management; it may be performed by non-root users as well.

Example installation in /usr/local for Linux/x86:

tar -C /usr/local -x -z -f polyml_base.tar.gz
tar -C /usr/local -x -z -f polyml_x86-linux.tar.gz
tar -C /usr/local -x -z -f 
tar -C /usr/local -x -z -f ProofGeneral.tar.gz            #requires XEmacs-21
tar -C /usr/local -x -z -f x-symbol.tar.gz

cd 
./configure
./build
./bin/isatool install -p /usr/local/bin