# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1431963022 -3600
# Node ID 1e45c648d4848bfada2180203659c6afa81c5c52
# Parent  a5c905a33751138f2e7646274e053c4e76cc06e2
updated

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