author wenzelm
Tue, 21 Sep 1999 17:07:28 +0200
changeset 7554 30327f9f6b4a
parent 7489 77d654ea31a9
permissions -rw-r--r--
differ: compare actual props only (hyps may changed due to trivial steps involving assumptions);


<!-- $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