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>
Sat, 29 Nov 2014 18:00:11 +0000
changeset 90 566dc939e9cf
parent 89 6861b6c7446a
child 91 75945c052849
updated
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Sat Nov 29 17:57:00 2014 +0000
+++ b/index.html	Sat Nov 29 18:00:11 2014 +0000
@@ -119,7 +119,7 @@
 [<A HREF="index.html#committees">Committees</A>]
 [<A HREF="history.html">Conference History</A>]
 <HR>
-</p>
+
 
 <p>
 The 6th conference on Interactive Theorem Proving will be held in
itp-2015