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 21:50:48 +0000
changeset 94 5c9441cb0ea9
parent 93 9eb085881cd5
child 95 a05cc83b1cc9
updated
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Sat Nov 29 21:49:49 2014 +0000
+++ b/index.html	Sat Nov 29 21:50:48 2014 +0000
@@ -137,7 +137,7 @@
 <p>
 <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">there will be a Coq tutorial after the conference
+<IMG SRC="pics/new.gif" ALT="" style="" align="left">a Coq tutorial after the conference
 (27 - 29 August).<BR><BR>
 </p>
itp-2015