equal
deleted
inserted
replaced
1 <html> |
|
2 |
|
3 <head> |
|
4 <!-- $Id$ --> |
|
5 <title>Isabelle Binary Distribution</title> |
|
6 </head> |
|
7 |
|
8 <body> |
|
9 |
|
10 <h1>Isabelle Binary Distribution</h1> |
|
11 |
|
12 This is your fast path to Isabelle on Linux/x86 systems (with rpm |
|
13 package management): |
|
14 |
|
15 <p> |
|
16 |
|
17 <pre> |
|
18 rpm -i <a |
|
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 |
|
20 rpm -i --prefix /usr/share <a href="isabelle.rpm">isabelle.rpm</a> # mandatory |
|
21 rpm -i --prefix /usr/share <a href="isabelle-HOL.i386.rpm">isabelle-HOL.i386.rpm</a> # recommended |
|
22 rpm -i --prefix /usr/share <a href="isabelle-HOL-Real.i386.rpm">isabelle-HOL-Real.i386.rpm</a> # optional |
|
23 rpm -i --prefix /usr/share <a href="isabelle-ZF.i386.rpm">isabelle-ZF.i386.rpm</a> # optional |
|
24 rpm -i --prefix /usr/share <a href="isabelle-pdfdocs.rpm">isabelle-pdfdocs.rpm</a> # optional |
|
25 </pre> |
|
26 |
|
27 </body> |
|
28 |
|
29 </html> |
|