Mercurial Mercurial > hg > itp-2015 / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 18 May 2015 16:30:22 +0100
changeset 132 1e45c648d484
parent 131 a5c905a33751
child 133 7d35f05836fd
updated
index.html file | annotate | diff | comparison | revisions 
--- 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
itp-2015