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