From 6beedd42c29fa0652d4986a5607644b3b149d4fd Mon Sep 17 00:00:00 2001
From: Herman Yanush <gera@disroot.org>
Date: Mon, 16 Oct 2023 19:50:00 +0300
Subject: [PATCH] update links in index.html

---
 index.html | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/index.html b/index.html
index 83eb8dd..5d7b163 100644
--- a/index.html
+++ b/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>