|
8056
|
1 |
%title%
|
|
|
2 |
Isabelle Binary Distribution
|
|
|
3 |
|
|
|
4 |
%body%
|
|
|
5 |
The binary distribution of {ISABELLE} for rpm-based Linux/x86 systems:
|
|
|
6 |
|
|
|
7 |
<p>
|
|
|
8 |
|
|
|
9 |
<!-- _GP_ setdowncolor("#E0E0E0") -->
|
|
|
10 |
<center>
|
|
|
11 |
<table border="0" cellspacing="5" cellpadding="4" width="520">
|
|
|
12 |
|
|
8070
|
13 |
<!-- _GP_ download("ML system", "rpm/smlnj-110.0-3.i386.rpm", "{RPM_SML_SIZE} K") -->
|
|
8056
|
14 |
<!-- _GP_ download("Isabelle system", "rpm/isabelle.rpm", "{RPM_BASE_SIZE} K") -->
|
|
|
15 |
<!-- _GP_ download("Isabelle/HOL image", "rpm/isabelle-HOL.i386.rpm", "{RPM_HOL_SIZE} K") -->
|
|
|
16 |
<!-- _GP_ download("Isabelle/HOL-Real image (optional)", "rpm/isabelle-HOL-Real.i386.rpm", "{RPM_REAL_SIZE} K") -->
|
|
|
17 |
<!-- _GP_ download("Isabelle/ZF image (optional)", "rpm/isabelle-ZF.i386.rpm", "{RPM_ZF_SIZE} K") -->
|
|
|
18 |
<!-- _GP_ download("Isabelle pdf documentation (optional)", "rpm/isabelle-pdfdocs.rpm", "{RPM_DOCS_SIZE} K") -->
|
|
|
19 |
|
|
|
20 |
</table>
|
|
|
21 |
|
|
|
22 |
</center>
|
|
|
23 |
|
|
|
24 |
<p>
|
|
|
25 |
|
|
|
26 |
Example installation procedure:
|
|
|
27 |
|
|
|
28 |
<pre>
|
|
8070
|
29 |
rpm -i smlnj-base-110.0.3-0.i386.rpm
|
|
8056
|
30 |
rpm -i --prefix /usr/share isabelle.rpm
|
|
|
31 |
rpm -i --prefix /usr/share isabelle-HOL.i386.rpm
|
|
|
32 |
</pre>
|
|
8070
|
33 |
|
|
|
34 |
<p>
|
|
|
35 |
|
|
|
36 |
Use the mailing list <a href="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</a>
|
|
|
37 |
to discuss problems and results. (Why not <A HREF="mailto:lcp@cl.cam.ac.uk">subscribe</A>?)
|