Admin/website/installation.html
changeset 17671 e9e341bc7d42
parent 17661 994d010c0abd
child 17672 25d8a4586836
--- a/Admin/website/installation.html	Tue Sep 27 14:41:41 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 15:30:37 2005 +0200
@@ -23,7 +23,7 @@
             ready-to-use binary packages for Linux/x86, MaxOS X /
             Darwin, and Solaris.  For other platforms, Isabelle logics
             need to be compiled separately (see also <a
-            href="//dist/packages/Isabelle/INSTALL">INSTALL</a>).
+            href="//dist/Isabelle/INSTALL">INSTALL</a>).
         </p>
         
         <p>
@@ -76,10 +76,10 @@
             <li>Unpack the archives to an appropriate location, e.&nbsp;g.
                 <tt class="shellcmd">/usr/local</tt>:
                 <ul class="shellcmd">
-		<li>tar -C /usr/local -xzf <?downloadLink target="//dist/packages/Isabelle2005.tar.gz"?></li>
-                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/packages/contrib/polyml_x86-linux.tar.gz"?></li>
-                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/packages/HOL_x86-linux.tar.gz"?></li>
-                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/packages/contrib/ProofGeneral.tar.gz"?></li>
+		<li>tar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
+                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_x86-linux.tar.gz"?></li>
+                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/HOL_x86-linux.tar.gz"?></li>
+                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
                 </ul>
             </li>
 
@@ -122,10 +122,10 @@
             <li>Unpack the archives to an appropriate location, e.&nbsp;g.
                 <tt class="shellcmd">/usr/local</tt>:
                 <ul class="shellcmd">
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/Isabelle2005.tar.gz"?></li>
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/contrib/ProofGeneral.tar.gz"?></li>
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/contrib/polyml_ppc-darwin.tar.gz"?></li>
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/HOL_ppc-darwin.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_ppc-darwin.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/HOL_ppc-darwin.tar.gz"?></li>
                 </ul>
             </li>
 
@@ -155,10 +155,10 @@
             <li>Unpack the archives to an appropriate location, e.&nbsp;g.
                 <tt class="shellcmd">/usr/local</tt>:
                 <ul class="shellcmd">
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/Isabelle2005.tar.gz"?></li>
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/contrib/ProofGeneral.tar.gz"?></li>
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/contrib/polyml_sparc-solaris.tar.gz"?></li>
-                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/packages/HOL_sparc-solaris.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/contrib/polyml_sparc-solaris.tar.gz"?></li>
+                    <li>gtar -C /usr/local -xzf <?downloadLink target="//dist/HOL_sparc-solaris.tar.gz"?></li>
                 </ul>
             </li>