# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1460317590 -3600
# Node ID ca3a6f5c88ab70b39bc99313beee0cf6fc4d34df
# Parent  7142fb929d24beb6f56884976e145d00d54745f2
updated

diff -r 7142fb929d24 -r ca3a6f5c88ab publications.html
--- a/publications.html	Thu Apr 07 23:24:27 2016 +0100
+++ b/publications.html	Sun Apr 10 20:46:30 2016 +0100
@@ -202,7 +202,7 @@
 <p><B>Mechanizing the Metatheory of LF.</B> (with Cheney and Berghofer) 
       In <A HREF="http://doi.acm.org/10.1145/1877714.1877721">
       ACM Transactions on Computational Logic</A>, Vol 12(2), Pages 15:1 - 15:42, 2011. 
-      [<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/">technical report</A>] 
+      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/LF/">technical report</A>] 
 
 <p><B>Nominal Unification Revisited.</B> 
       (invited paper) In Proceedings of the 24th Workshop on Unification (UNIF 2010).
@@ -509,7 +509,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Thu Apr  7 23:12:27 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Apr 10 20:45:14 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>
diff -r 7142fb929d24 -r ca3a6f5c88ab travelling.html
--- a/travelling.html	Thu Apr 07 23:24:27 2016 +0100
+++ b/travelling.html	Sun Apr 10 20:46:30 2016 +0100
@@ -46,7 +46,7 @@
 <table border="0">
 <tr>
 <td>
-<A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
+<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/">
 <IMG SRC="nominal-logo.gif" ALT="" style="border-width: 0px;" align="left"></A>
 </td>
 </tr>
@@ -128,7 +128,7 @@
 <li> Talk at ECNU, Shanghai (8 - 28 April, host: Prof. Jifeng He)
 <li> Talk at ESOP'11 (26 - 30 March, Saarbr&uuml;cken)
 <li> Talk at Uppsala University (3 March, host: Prof. Joachim Parrow)
-<li>  One-day <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> 
+<li>  One-day <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-popl11/">tutorial</A> 
       on Nominal Isabelle at <A HREF="http://www.cse.psu.edu/popl/11/" target="_top">POPL 2011</A>
       (21 January, Austin)
 </ul>
@@ -144,7 +144,7 @@
      (host: Prof. Xingyuan Zhang, 1st - 31st August)
 <li> Talk at ITP (Edinburgh, 11 - 14 July)
 <li> Invited Talk at UNIF'10 (14 July)
-<li> Larry Paulson and Christian organise the <A href="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 and 18 June)
+<li> Larry Paulson and Christian organise the <A href="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/idw10/idw.html">Isabelle Developers Workshop</A> (Cambridge, 17 and 18 June)
 <li> Talk in the Automated Reasoning Group in Cambridge (8 June)
 <li> On the thesis committee of Clement Houtmann (Nancy, 12 March) 
 <li> Talk in the Automated Reasoning Group in Cambridge (16 February)
@@ -174,7 +174,7 @@
      (28 September - 3 October, Spitzingsee)
 <LI> Invited Talk at LSFA (26th August, Salvador, Brazil)
 <LI> Talk (with Berghofer) at TPHOLs (18 - 21 August, Montreal, Canada)
-<LI> <A HREF="http://http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> 
+<LI> <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Nominal/activities/nominal-ijcar08/">Nominal Isabelle</A> 
      at <A HREF="http://www.ijcar.org/2008/" target="_top">IJCAR'08</A> tutorial
      (11 August, Sydney)
 <LI> A course on Nominal Isabelle at the