Admin/website/installation_notes_cygwin.html

     
       <ul>
         <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
         (e.g. what a shell is for and how to use it).</li>
       </ul>