renamed "Packages" to "Download";

--- a/Admin/website/installation.html	Tue Sep 27 17:13:11 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 17:14:27 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="packages.html">packages</a> page.
+                Isabelle <a href="download.html">packages</a> page.
                 When you download ProofGeneral for the first time,
                 please <a
                 href="http://proofgeneral.inf.ed.ac.uk/register">register</a>.</li>

--- a/Admin/website/installation_notes_cygwin.html	Tue Sep 27 17:13:11 2005 +0200
+++ b/Admin/website/installation_notes_cygwin.html	Tue Sep 27 17:14:27 2005 +0200
@@ -98,10 +98,10 @@
     
       <h2>Installing Isabelle</h2>
     
-      <p>Download the latest Isabelle and ProofGeneral <a href=
-      "packages.html">release packages</a>. Assuming that you are in the directory
-      where you downloaded the files, install them into <tt class="shellcmd">/opt</tt> by typing
-      into the bash shell:</p>
+      <p><a href="download.html">Download</a> the latest Isabelle and
+      ProofGeneral release packages. Assuming that you are in the
+      directory where you downloaded the files, install them into <tt
+      class="shellcmd">/opt</tt> by typing into the bash shell:</p>
     
       <ul class="shellcmd">
         <li>tar -C /usr/opt -xvzf <?value key="distname"?>.tar.gz</li>