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.
Cookbook/menu.html
changeset 449 7fb685883250
parent 447 678ba50aba9d
child 465 4dac76eb27d9 
--- 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