# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1415571133 0
# Node ID 4440b0b0e5cdf867c86817410becc6830e75358f
# Parent  7338cef94b2b7d3fb63ee797ee245385c6428e58
updatde

diff -r 7338cef94b2b -r 4440b0b0e5cd msc-projects-14.html
--- a/msc-projects-14.html	Sun Nov 09 22:00:31 2014 +0000
+++ b/msc-projects-14.html	Sun Nov 09 22:12:13 2014 +0000
@@ -397,7 +397,7 @@
   are small Linux computers the size of a credit-card and only cost &pound;34 (see picture on the left below). They were introduced
   in 2012 and people went crazy...well some of them. There is a
   <A HREF="https://plus.google.com/communities/113390432655174294208?hl=en">Google+</A> community about Raspberry Pi's that has more
-  than 172k of followers. It is hard to keep up with what people do with these small computers. The possibilities
+  than 177k of followers. It is hard to keep up with what people do with these small computers. The possibilities
   seem to be limitless. The main resource for Raspberry Pi's is <A HREF="http://www.raspberrypi.org">here</A>.
   There are <A HREF="http://www.themagpi.com">magazines</A> dedicated to them and tons of
   <A HREF="http://www.raspberrypi.org/phpBB3/viewforum.php?f=39">books</A> (not to mention
@@ -456,9 +456,9 @@
 
   <p>
   <B>Skills:</B> 
-  Well, you must be a hacker; happy to make things. Your desk might look like on the photo on the left.
-  The right photo shows an earlier student project which connects wirelessly a wearable Arduino (packaged
-  in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino takes meaurements of 
+  Well, you must be a hacker; happy to make things. Your desk might look like on the photo below on the left.
+  The photo below on the righ shows an earlier student project which connects wirelessly a wearable Arduino (packaged
+  in a "self-3d-printed" watch) to a Raspberry Pi seen in the background. The Arduino in the forground takes meaurements of 
   heart rate and body temperature; the Raspberry Pi collects this data and makes it accessible via a simple
   web-service.
   <center>
@@ -470,11 +470,7 @@
   </center>
   </p>
 
-<li> <H4>[CU6] Generating Testcases from a Specification</H4>
-
-<li> <H4>[CU7] GPRS + GPS for Arduinos</H4>
-
-<li> <H4>[CU8] Language Translator into JavaScript</H4>
+<li> <H4>[CU6] Language Translator into JavaScript</H4>
 
   <p>
   <b>Description:</b> 
@@ -517,7 +513,7 @@
 
 
 
-<li> <H4>[CU9] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
+<li> <H4>[CU7] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
   
 <p>
   <B>Description:</B>
@@ -545,7 +541,7 @@
   </p>
 
 
-<li> <H4>[CU10] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
+<li> <H4>[CU8] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
   
   <p>
   <B>Description:</B>
@@ -577,7 +573,7 @@
   are some examples that explain how to implement exchanging messages between actors. 
   </p>
 
-<li> <H4>[CU11] Proving the Correctness of Programs</H4>
+<li> <H4>[CU9] Proving the Correctness of Programs</H4>
 
  <p>
  I am one of the main developers of the interactive theorem prover
@@ -624,7 +620,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sun Nov  9 22:00:13 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Nov  9 22:11:58 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>