update links in index.html

index.html

@@ -228,7 +228,7 @@ <h2>Implementations, Extensions, and Variations of Standard ML</h2>
    </P>
   </LI>
   <LI>
-    <A HREF="http://www.cs.bham.ac.uk/research/poplog/freepoplog.html">
+    <A HREF="http://www.cs.bham.ac.uk/research/projects/poplog/freepoplog.html">
        <strong>Poplog Standard ML</strong></A>.
     <P>Now available as free software (SML '90).</P>
   </LI>
@@ -249,7 +249,7 @@ <h2>Implementations, Extensions, and Variations of Standard ML</h2>
   <P>CakeML is a dialect of ML designed to be both easy to program in and easy to reason about formally in proof assistants for higher-order logic.</P>
   </LI>
   <LI>
-  <A HREF="http://www.pllab.riec.tohoku.ac.jp/smlsharp/"><strong>SML#</strong></A>
+  <A HREF="https://smlsharp.github.io/"><strong>SML#</strong></A>
   <P>SML# is a new programming language in the Standard ML family being developed at RIEC (Research Institute of Electrical
   Communication), Tohoku University . Its design goal is to provide practically important extensions while maintaining
   the compatibility of the Definition of Standard ML.</P>