equal
deleted
inserted
replaced
96 be set to 1 (later on a convenient mechanism to make this the default is |
96 be set to 1 (later on a convenient mechanism to make this the default is |
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><a href="download.html">Download</a> the latest Isabelle and |
102 "packages.html">release packages</a>. Assuming that you are in the directory |
102 ProofGeneral release packages. Assuming that you are in the |
103 where you downloaded the files, install them into <tt class="shellcmd">/opt</tt> by typing |
103 directory where you downloaded the files, install them into <tt |
104 into the bash shell:</p> |
104 class="shellcmd">/opt</tt> by typing 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> |
108 <li>tar -C /usr/opt -xvzf ProofGeneral.tar.gz</li> |
108 <li>tar -C /usr/opt -xvzf ProofGeneral.tar.gz</li> |
109 </ul> |
109 </ul> |