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>
Wed, 10 Jun 2015 13:17:14 +0100
changeset 187 8cfc96642da5
parent 186 07be48c6f591
child 188 71eb49da978f
updated
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Wed Jun 10 13:14:12 2015 +0100
+++ b/index.html	Wed Jun 10 13:17:14 2015 +0100
@@ -208,7 +208,7 @@
 and 200&#20803; for the Coq-tutorial.
 
 <p>
-The registration fees needs to be transferred via a bank
+The registration fee needs to be transferred via a bank
 transfer; we <span style="text-decoration: underline;"><B>cannot</B></span>
 accept credit cards etc for the conference fee. The hotel and many other things can be paid
 by credit card, but not the conference fee. See the <A HREF="booklet.pdf">booklet</A> for
itp-2015