index.html
changeset 130 9fa7b47fd6d7
parent 126 f242e25a4b48
child 131 a5c905a33751
--- a/index.html	Thu Apr 16 15:13:02 2015 +0100
+++ b/index.html	Mon May 18 16:16:31 2015 +0100
@@ -138,7 +138,8 @@
 <p>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left">There will be an Isabelle tutorial before the
 conference (21 - 23 August), and<BR><BR>
-<IMG SRC="pics/new.gif" ALT="" style="" align="left">a Coq tutorial after the conference
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">a
+<A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
 (27 - 29 August).<BR><BR>
 </p>