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.
added coq document
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Mon, 24 Aug 2015 16:44:40 +0800
changeset 323 a05d1be9a697
parent 322 adc5e4b511e7
child 324 83adede4467c
added coq document
coq.pdf file | annotate | diff | comparison | revisions
index.html file | annotate | diff | comparison | revisions 
Binary file coq.pdf has changed
--- a/index.html	Mon Aug 24 16:21:40 2015 +0800
+++ b/index.html	Mon Aug 24 16:44:40 2015 +0800
@@ -119,8 +119,8 @@
 Series. There will be an
 <A HREF="http://www21.in.tum.de/~nipkow/isa-tut-itp15.html">Isabelle tutorial</A> before the
 conference (21 - 23 August), and
-a <A HREF="http://www.strub.nu/coq-itp-15">Coq tutorial</A> after the conference
-(27 - 29 August).
+a <A HREF="coq.pdf">Coq tutorial</A> after the conference
+(27 - 29 August, see also <A HREF="http://www.strub.nu/coq-itp-15">here</A>).
 
 <p>
 <IMG SRC="pics/new.gif" ALT="" style="" align="left"><A HREF="http://talisker.inf.kcl.ac.uk/%7Eurbanc/cgi-bin/repos.cgi/itp-2015/raw-file/tip/prog.pdf">Preliminary programme</A><BR><BR>
itp-2015