equal
deleted
inserted
replaced
97 proposed).</p> |
97 proposed).</p> |
98 |
98 |
99 <h2>Installing Isabelle</h2> |
99 <h2>Installing Isabelle</h2> |
100 |
100 |
101 <p>Download the latest Isabelle and ProofGeneral <a href= |
101 <p>Download the latest Isabelle and ProofGeneral <a href= |
102 "download.html">release packages</a>. Assuming that you are in the directory |
102 "packages.html">release packages</a>. Assuming that you are in the directory |
103 where you downloaded the files, install them into <tt class="shellcmd">/opt</tt> by typing |
103 where you downloaded the files, install them into <tt class="shellcmd">/opt</tt> by typing |
104 into the bash shell:</p> |
104 into the bash shell:</p> |
105 |
105 |
106 <ul class="shellcmd"> |
106 <ul class="shellcmd"> |
107 <li>tar -C /usr/opt -xvzf <?value key="distname"?>.tar.gz</li> |
107 <li>tar -C /usr/opt -xvzf <?value key="distname"?>.tar.gz</li> |