Admin/website/installation.html
changeset 17685 8e5b9790805e
parent 17683 d7f78036546b
equal deleted inserted replaced
17684:c98508731bd6 17685:8e5b9790805e
    63 
    63 
    64             <li>Get the packages for <a
    64             <li>Get the packages for <a
    65                 href="http://www.polyml.org">Poly/ML</a>, <a
    65                 href="http://www.polyml.org">Poly/ML</a>, <a
    66                 href="http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a>
    66                 href="http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a>
    67                 and Isabelle &ndash; all of this is available from the
    67                 and Isabelle &ndash; all of this is available from the
    68                 Isabelle <a href="download.html">packages</a> page.
    68                 Isabelle <a href="download.html">download</a> page.
    69                 When you download ProofGeneral for the first time,
    69                 When you download ProofGeneral for the first time,
    70                 please <a
    70                 please <a
    71                 href="http://proofgeneral.inf.ed.ac.uk/register">register</a>.</li>
    71                 href="http://proofgeneral.inf.ed.ac.uk/register">register</a>.</li>
    72 
    72 
    73             <li>Likewise download the compiled images of the desired
    73             <li>Likewise download the compiled images of the desired
    75 
    75 
    76             <li>Unpack the archives to an appropriate location, e.&nbsp;g.
    76             <li>Unpack the archives to an appropriate location, e.&nbsp;g.
    77                 <tt class="shellcmd">/usr/local</tt>:
    77                 <tt class="shellcmd">/usr/local</tt>:
    78                 <ul class="shellcmd">
    78                 <ul class="shellcmd">
    79 		<li>tar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
    79 		<li>tar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
       
    80                 <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
    80                 <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_x86-linux.tar.gz"?></li>
    81                 <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_x86-linux.tar.gz"?></li>
    81                 <li>tar -C /usr/local -xzf <?downloadLink target="//dist/HOL_x86-linux.tar.gz"?></li>
    82                 <li>tar -C /usr/local -xzf <?downloadLink target="//dist/HOL_x86-linux.tar.gz"?></li>
    82                 <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
       
    83                 </ul>
    83                 </ul>
    84             </li>
    84             </li>
    85 
    85 
    86             <li>Under most circumstances, the default settings of
    86             <li>Under most circumstances, the default settings of
    87                 Isabelle should be reasonable for invoking
    87                 Isabelle should be reasonable for invoking