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.
updated
authorChristian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 16 Jun 2016 10:52:43 +0100
changeset 449 7fb685883250
parent 448 960cc8081e0a
child 450 192083ac151f
updated
Cookbook/menu.html file | annotate | diff | comparison | revisions 
--- a/Cookbook/menu.html	Thu Jun 16 10:15:52 2016 +0100
+++ b/Cookbook/menu.html	Thu Jun 16 10:52:43 2016 +0100
@@ -101,11 +101,11 @@
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/tphols09/idw.html" target="_top">First Isabelle Developers Workshop</a> </td>
 </tr>
 
 <tr>
-<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
+<td style="background-color: rgb(224, 224, 240);"> <a href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html" target="_top">Second Isabelle Developers Workshop</a> </td>
 </tr>
 
 </tbody>
public_html