# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1378213877 -3600
# Node ID 2e80c480ec7e7eb35374a400f661b45a4bfa7639
# Parent  90f4682c43431f670f1774dcf5b6186e049453c2
typo

diff -r 90f4682c4343 -r 2e80c480ec7e publications.html
--- a/publications.html	Tue Sep 03 14:04:44 2013 +0100
+++ b/publications.html	Tue Sep 03 14:11:17 2013 +0100
@@ -115,7 +115,7 @@
       &copy <A HREF="http://link.springer.com/chapter/10.1007/978-3-642-39634-2_13">Springer Verlag</A>
       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>]<BR><BR>
 
-      (The phrase in the abstract is meant to say &quot; we tie the knot ... &quot;. This typo
+      (The phrase in the abstract is meant to say &quot;we tie the knot ... &quot;. This typo
       is corrected in the version above.)
   
   <p><B>A Formal Model and Correctness Proof for an Access Control Policy Framework.</B> 
@@ -495,7 +495,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Sep  3 14:03:54 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Sep  3 14:11:12 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
  
 </BODY>