# HG changeset patch
# User haftmann
# Date 1127832758 -7200
# Node ID 6ebbe708640f1907930113cc0f49fa872edc47eb
# Parent  88cae8ed176b3c5b1a759b0a25fe7510d7357868
fixed dead link

diff -r 88cae8ed176b -r 6ebbe708640f Admin/website/TODO
--- a/Admin/website/TODO	Tue Sep 27 16:52:38 2005 +0200
+++ b/Admin/website/TODO	Tue Sep 27 16:52:38 2005 +0200
@@ -1,11 +1,10 @@
-For the next release:
-
-- add CONTRIBUTORS and COPYRIGHT to Packages
-
-- clarify purpose of the rsync daemon, consider
-  a rsyncd module for *both* main and dist;
-  upgrade rsync on atbroy1 to protocol 28,
-  to handle symlinks appropriately (?)
+For the release:
+- make build bed (~/isabelle/website_build)
+- abandon old scripts: mirror-*, rsyncisabelle
+- abandon old cache
+- cleanup old dist
+- redirect link -> proper sublinks
+- cleanup website mess (new dir "projects/")
 
 In the mid-time:
 
diff -r 88cae8ed176b -r 6ebbe708640f Admin/website/installation.html
--- a/Admin/website/installation.html	Tue Sep 27 16:52:38 2005 +0200
+++ b/Admin/website/installation.html	Tue Sep 27 16:52:38 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="packages.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>
diff -r 88cae8ed176b -r 6ebbe708640f Admin/website/installation_notes_cygwin.html
--- a/Admin/website/installation_notes_cygwin.html	Tue Sep 27 16:52:38 2005 +0200
+++ b/Admin/website/installation_notes_cygwin.html	Tue Sep 27 16:52:38 2005 +0200
@@ -24,7 +24,7 @@
         <li>The ML system these notes apply to is <a href=
         "http://www.smlnj.org/">Standard ML of New Jersey</a>; it is <em>not</em>
         known yet how to get Isabelle run completely with <a href=
-        "www.polyml.org/">Poly/ML</a>. See <a href="#polyml">a note on Poly/ML</a>
+        "http://www.polyml.org/">Poly/ML</a>. See <a href="#polyml">a note on Poly/ML</a>
         down this page.</li>
     
         <li>It is assumed you have some experience with an Unix operating system