Admin/website/installation_notes_cygwin.html
changeset 17683 d7f78036546b
parent 17676 6ebbe708640f
child 17734 fb2fd74358e1
equal deleted inserted replaced
17682:fe395990d526 17683:d7f78036546b
    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>