author wenzelm
Fri, 01 Sep 2000 17:36:42 +0200
changeset 9781 32378f1c2f17
parent 7489 77d654ea31a9
permissions -rw-r--r--
cvs-copy - make copy of CVS controlled directory hierarchy;


<!-- $Id$ -->
<title>Isabelle Binary Distribution</title>


<h1>Isabelle Binary Distribution</h1>

This is your fast path to Isabelle on Linux/x86 systems (with rpm
package management):


rpm -i <a
href="">smlnj-110.0-3.i386.rpm</a>                           # mandatory
rpm -i --prefix /usr/share <a href="isabelle.rpm">isabelle.rpm</a>                 # mandatory
rpm -i --prefix /usr/share <a href="isabelle-HOL.i386.rpm">isabelle-HOL.i386.rpm</a>        # recommended
rpm -i --prefix /usr/share <a href="isabelle-HOL-Real.i386.rpm">isabelle-HOL-Real.i386.rpm</a>   # optional
rpm -i --prefix /usr/share <a href="isabelle-ZF.i386.rpm">isabelle-ZF.i386.rpm</a>         # optional
rpm -i --prefix /usr/share <a href="isabelle-pdfdocs.rpm">isabelle-pdfdocs.rpm</a>         # optional