# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1587085140 -3600
# Node ID 3ba402a186e544595297d1a69ac6d46d6e455e18
# Parent  b56b728466c8293021d1f59605d53e5f98664291
updated

diff -r b56b728466c8 -r 3ba402a186e5 index.html
--- a/index.html	Fri Apr 17 01:57:16 2020 +0100
+++ b/index.html	Fri Apr 17 01:59:00 2020 +0100
@@ -379,8 +379,8 @@
 extension of Java and a precursor of Scala. My implementation illustrates the technique of 
 success continuations in proof search. <B>Update:</B> This ancient work inspired
 <A HREF="http://rosien.net/">Adam Rosien</A> to re-surrect some parts of it in
-<A HREF="https://github.com/arosien/sequentish/blob/master/src/main/scala/net/rosien/sequentish/LJT.scala">Scala</A> [<A HREF="https://arosien.github.io/sequentish/slides.html#/">github</A>,
-    <A HREF="https://arosien.github.io/sequentish/slides.html#/1">slides</A>]
+<A HREF="https://github.com/arosien/sequentish/blob/master/src/main/scala/net/rosien/sequentish/LJT.scala">Scala</A> [<A HREF="https://github.com/arosien/sequentish">github</A>,
+    <A HREF="https://arosien.github.io/sequentish/slides.html#/">slides</A>]
 </TD>
 </TR>