Admin/page/dist-content/binary.content
author kleing
Thu, 09 Dec 1999 11:34:32 +0100
changeset 8056 3c587e7b8fe5
child 8070 dbbef2367723
permissions -rw-r--r--
new webpage layout
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
8056
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     1
%title%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     2
Isabelle Binary Distribution
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     3
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     4
%body%
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     5
The binary distribution of {ISABELLE} for rpm-based Linux/x86 systems:
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     6
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     7
<p>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     8
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
     9
<!-- _GP_ setdowncolor("#E0E0E0") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    10
<center>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    11
<table border="0" cellspacing="5" cellpadding="4" width="520">
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    12
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    13
  <!-- _GP_ download("ML system", "rpm/smlnj-base-110.0.6-0.i386.rpm", "{RPM_SML_SIZE} K") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    14
  <!-- _GP_ download("Isabelle system", "rpm/isabelle.rpm", "{RPM_BASE_SIZE} K") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    15
  <!-- _GP_ download("Isabelle/HOL image", "rpm/isabelle-HOL.i386.rpm", "{RPM_HOL_SIZE} K") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    16
  <!-- _GP_ download("Isabelle/HOL-Real image (optional)", "rpm/isabelle-HOL-Real.i386.rpm", "{RPM_REAL_SIZE} K") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    17
  <!-- _GP_ download("Isabelle/ZF image (optional)", "rpm/isabelle-ZF.i386.rpm", "{RPM_ZF_SIZE} K") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    18
  <!-- _GP_ download("Isabelle pdf documentation (optional)", "rpm/isabelle-pdfdocs.rpm", "{RPM_DOCS_SIZE} K") -->
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    19
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    20
</table>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    21
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    22
</center>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    23
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    24
<p>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    25
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    26
Example installation procedure:
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    27
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    28
<pre>
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    29
rpm -i smlnj-base-110.0.6-0.i386.rpm
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    30
rpm -i --prefix /usr/share isabelle.rpm             
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    31
rpm -i --prefix /usr/share isabelle-HOL.i386.rpm    
3c587e7b8fe5 new webpage layout
kleing
parents:
diff changeset
    32
</pre>