Mercurial Mercurial > hg > public_html / 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 mphil
authorChristian Urban <urbanc@in.tum.de>
Wed, 01 Aug 2012 12:49:15 +0100
changeset 127 59a944498542
parent 126 7c2c8f19f83d
child 128 2062a71a052c
added mphil
Publications/mphil.pdf.gz file | annotate | diff | comparison | revisions
logic.html file | annotate | diff | comparison | revisions 
Binary file Publications/mphil.pdf.gz has changed
--- a/logic.html	Sun Jul 08 06:04:14 2012 +0100
+++ b/logic.html	Wed Aug 01 12:49:15 2012 +0100
@@ -127,7 +127,7 @@
 <DD><A HREF="http://www.jaist.ac.jp/~vester/">Ren&eacute; Vestergaard</A></DD>
 <DD><A HREF="http://www.cs.cornell.edu/home/rc/">Robert Constable</A></DD>
 <DD><A HREF="http://www.cs.cmu.edu/~rwh/">Robert Harper</A></DD>
-<DD><A HREF="http://www.inf.st-and.ac.uk/~rd/">Roy Dyckhoff</A></DD>
+<DD><A HREF="http://www.cs.st-andrews.ac.uk/~rd/">Roy Dyckhoff</A></DD>
 <DD><A HREF="http://web.comlab.ox.ac.uk/oucl/people/samson.abramsky.html">Samson Abramsky</A></DD>
 <DD><A HREF="http://www.wv.inf.tu-dresden.de/~sh/">Steffen H&ouml;lldobler</A></DD>
 <DD><A HREF="http://www.steffen-zschaler.de/">Steffen Zschaler</A></DD>
public_html