# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1415571452 0
# Node ID 79055e98f1660c1023df8e453c0ccd4d04895065
# Parent  4440b0b0e5cdf867c86817410becc6830e75358f
updated

diff -r 4440b0b0e5cd -r 79055e98f166 msc-projects-14.html
--- a/msc-projects-14.html	Sun Nov 09 22:12:13 2014 +0000
+++ b/msc-projects-14.html	Sun Nov 09 22:17:32 2014 +0000
@@ -536,7 +536,7 @@
 
   <p>
   <B>Skills:</B> 
-  Good skill in lexing and language parsing, as well as being fluent with web programming (for
+  Good skills in lexing and language parsing, as well as being fluent with web programming (for
   example JavaScript).
   </p>
 
@@ -583,7 +583,7 @@
  Together with colleagues from Nanjing, I used this theorem prover to establish the correctness of a
  scheduling algorithm, called
  <A HREF="http://en.wikipedia.org/wiki/Priority_inheritance">Priority Inheritance</A>,
- for real time operating systems. This scheduling algorithm is part of the operating
+ for real-time operating systems. This scheduling algorithm is part of the operating
  system that drives, for example, the 
  <A HREF="http://en.wikipedia.org/wiki/Mars_Exploration_Rover">Mars rovers</A>.
  Actually, the very first Mars rover mission in 1997 did not have this
@@ -620,7 +620,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sun Nov  9 22:11:58 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sun Nov  9 22:16:34 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>