renamed packages to download;

--- a/Admin/website/installation.html	Tue Sep 27 17:24:27 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 20:43:39 2005 +0200
@@ -65,7 +65,7 @@
                 href="http://www.polyml.org">Poly/ML</a>, <a
                 href="http://proofgeneral.inf.ed.ac.uk/">ProofGeneral</a>
                 and Isabelle &ndash; all of this is available from the
-                Isabelle <a href="download.html">packages</a> page.
+                Isabelle <a href="download.html">download</a> page.
                 When you download ProofGeneral for the first time,
                 please <a
                 href="http://proofgeneral.inf.ed.ac.uk/register">register</a>.</li>
@@ -77,9 +77,9 @@
                 <tt class="shellcmd">/usr/local</tt>:
                 <ul class="shellcmd">
 		<li>tar -C /usr/local -xzf <?downloadLink target="//dist/Isabelle2005.tar.gz"?></li>
+                <li>tar -C /usr/local -xzf <?downloadLink target="//dist/contrib/ProofGeneral.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>