Admin/README-rpm.html
author wenzelm
Wed, 09 Feb 2000 14:03:29 +0100
changeset 8222 55fed562d8ed
parent 7489 77d654ea31a9
permissions -rw-r--r--
mirror main page;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
7489
wenzelm
parents:
diff changeset
     1
<html>
wenzelm
parents:
diff changeset
     2
wenzelm
parents:
diff changeset
     3
<head>
wenzelm
parents:
diff changeset
     4
<!-- $Id$ -->
wenzelm
parents:
diff changeset
     5
<title>Isabelle Binary Distribution</title>
wenzelm
parents:
diff changeset
     6
</head>
wenzelm
parents:
diff changeset
     7
wenzelm
parents:
diff changeset
     8
<body>
wenzelm
parents:
diff changeset
     9
wenzelm
parents:
diff changeset
    10
<h1>Isabelle Binary Distribution</h1>
wenzelm
parents:
diff changeset
    11
wenzelm
parents:
diff changeset
    12
This is your fast path to Isabelle on Linux/x86 systems (with rpm
wenzelm
parents:
diff changeset
    13
package management):
wenzelm
parents:
diff changeset
    14
wenzelm
parents:
diff changeset
    15
<p>
wenzelm
parents:
diff changeset
    16
wenzelm
parents:
diff changeset
    17
<pre>
wenzelm
parents:
diff changeset
    18
rpm -i <a
wenzelm
parents:
diff changeset
    19
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
wenzelm
parents:
diff changeset
    20
rpm -i --prefix /usr/share <a href="isabelle.rpm">isabelle.rpm</a>                 # mandatory
wenzelm
parents:
diff changeset
    21
rpm -i --prefix /usr/share <a href="isabelle-HOL.i386.rpm">isabelle-HOL.i386.rpm</a>        # recommended
wenzelm
parents:
diff changeset
    22
rpm -i --prefix /usr/share <a href="isabelle-HOL-Real.i386.rpm">isabelle-HOL-Real.i386.rpm</a>   # optional
wenzelm
parents:
diff changeset
    23
rpm -i --prefix /usr/share <a href="isabelle-ZF.i386.rpm">isabelle-ZF.i386.rpm</a>         # optional
wenzelm
parents:
diff changeset
    24
rpm -i --prefix /usr/share <a href="isabelle-pdfdocs.rpm">isabelle-pdfdocs.rpm</a>         # optional
wenzelm
parents:
diff changeset
    25
</pre>
wenzelm
parents:
diff changeset
    26
wenzelm
parents:
diff changeset
    27
</body>
wenzelm
parents:
diff changeset
    28
wenzelm
parents:
diff changeset
    29
</html>