# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1380626728 -3600
# Node ID 625ab75e406037a30edacfdb15daadb5ea6a634a
# Parent  e19069c38c6145649e4e14260f3bbe708f9f1ce6
added

diff -r e19069c38c61 -r 625ab75e4060 bsc-projects-13.html
--- a/bsc-projects-13.html	Fri Sep 27 14:27:21 2013 +0100
+++ b/bsc-projects-13.html	Tue Oct 01 12:25:28 2013 +0100
@@ -525,7 +525,10 @@
   Well, you must be a hacker; happy to make things.
   </p>
 
-<li> <H4>[CU9] Proving Programs to be Correct</H4>
+<li> <H4>[CU9] Online Collaboration System</H4>
+
+
+<li> <H4>[CU10] Proving Programs to be Correct</H4>
 
  <p>
  I am one of the main developers of the interactive theorem prover
@@ -550,7 +553,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Thu Sep 26 12:29:06 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Oct  1 11:36:26 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>
diff -r e19069c38c61 -r 625ab75e4060 teaching.html
--- a/teaching.html	Fri Sep 27 14:27:21 2013 +0100
+++ b/teaching.html	Tue Oct 01 12:25:28 2013 +0100
@@ -108,6 +108,7 @@
 <li>Dragisa Zunic (2007, ENS in Lyon)
 <li>Clement Houtmann (2010, INRIA Bordeaux)
 <li>Tom Powell (2013, QMUL)
+<li>Nick Sultana (2013, Cambridge)
 </ul>
 
 </TD>
@@ -423,7 +424,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Sep  8 08:45:42 BST 2013 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sat Sep 28 13:33:46 BST 2013 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>