Admin/README-rpm.html
author wenzelm
Mon, 13 Mar 2000 13:21:39 +0100
changeset 8434 5e4bba59bfaa
parent 7489 77d654ea31a9
permissions -rw-r--r--
use HOLogic.Not; export indexify_names;

<html>

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

<body>

<h1>Isabelle Binary Distribution</h1>

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

<p>

<pre>
rpm -i <a
href="ftp://ftp.cl.cam.ac.uk/MIRRORED/smlnj/release/110/smlnj-110.0-3.i386.rpm">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
</pre>

</body>

</html>