%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.
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
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