--- 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