diff -r a5c905a33751 -r 1e45c648d484 index.html
--- a/index.html	Mon May 18 16:25:51 2015 +0100
+++ b/index.html	Mon May 18 16:30:22 2015 +0100
@@ -137,6 +137,7 @@
 </p>
 
 <p>
+<IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="accepted.html">Accepted papers</A><BR><BR>
 <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