Mercurial Mercurial > hg > public_html / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Nominal/activities.html
changeset 407 7995bc5554b7
parent 406 e1e18587caf9
child 411 a430e494cb19 
--- a/Nominal/activities.html	Wed Mar 30 16:36:30 2016 +0100
+++ b/Nominal/activities.html	Wed Mar 30 16:37:07 2016 +0100
@@ -9,6 +9,7 @@
 <body onload="striper('ul','striped','li','first,second')">
 <h1>Our Old Activities</h1>
 
+<h2>Past</h2>
 
 <h2>2013</h2>
 <ul class="striped">
@@ -18,8 +19,6 @@
   <li> Christian is at the Dagstuhl Workshop on Nominal Computation Theory (13 - 16 October)
 </ul>
 
-<h2>Past</h2>
-
 <h2>2013</h2>
 <ul class="striped">
   <li> Christian is at POPL (Rome, 23 - 25 January)
public_html