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.
u
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Sun, 30 Nov 2014 10:24:20 +0000
changeset 98 01007191df40
parent 97 62f9ba119af2
child 99 483f2656cd4a
u
index.html file | annotate | diff | comparison | revisions 
--- a/index.html	Sun Nov 30 10:22:39 2014 +0000
+++ b/index.html	Sun Nov 30 10:24:20 2014 +0000
@@ -173,12 +173,12 @@
 <TR><TD><A HREF="http://www-sop.inria.fr/members/Yves.Bertot/">Yves Bertot</A></TD>
     <TD>INRIA, France</TD>
 </TR>
+<TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD>
+    <TD>Aarhus University, Denmark</TD>
+</TR>
 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
     <TD>IRISA, France</TD>
 </TR>
-<TR><TD><A HREF="http://cs.au.dk/~birke/">Lars Birkedal</A></TD>
-    <TD>Aarhus University, Denmark</TD>
-</TR>
 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD>
     <TD>University of Gothenburg, Sweden</TD>
 </TR>
itp-2015