equal
deleted
inserted
replaced
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 – all of this is available from the |
67 and Isabelle – 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. g. |
76 <li>Unpack the archives to an appropriate location, e. 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 |