diff -r c3ae73992b49 -r 699d7815bf17 msc-projects-14.html
--- a/msc-projects-14.html	Sun Nov 09 23:02:10 2014 +0000
+++ b/msc-projects-14.html	Mon Nov 10 08:58:58 2014 +0000
@@ -44,7 +44,7 @@
     necessary.&rdquo; I am always happy to supervise like-minded students.</H4>  
 
 <ul class="striped">
-<li> <H4>[CU1] Regular Expression Matching and Derivatives</H4>
+<li> <H4>[CU1] Regular Expression Matching, Lexing and Derivatives</H4>
 
   <p>
   <B>Description:</b>  
@@ -470,50 +470,7 @@
   </center>
   </p>
 
-<li> <H4>[CU6] Language Translator into JavaScript</H4>
-
-  <p>
-  <b>Description:</b> 
-  <A HREF="http://www.w3schools.com/js/">JavaScript</A> is a language that is supported by most
-  browsers and therefore is a favourite
-  vehicle for Web-programming. Some call it <B>the</B> scripting language of the Web.
-  Unfortunately, JavaScript is probably one of the worst
-  languages to program in (being designed and released in a hurry). <B>But</B> it can be used as a convenient target
-  for translating programs from other languages. In particular there are two
-  very optimised subsets of JavaScript that can be used for this purpose:
-  one is <A HREF="http://asmjs.org">asm.js</A> and the other is
-  <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>.
-  There is a <A HREF="https://github.com/kripken/emscripten/wiki/Tutorial">tutorial</A> for emscripten
-  and an impressive <A HREF="http://www.unrealengine.com/html5/">demo</A> which runs the
-  <A HREF="http://en.wikipedia.org/wiki/Unreal_Engine">Unreal Engine 3</A>
-  in a browser with spectacular speed. This was achieved by compiling the
-  C-code of the Unreal Engine to the LLVM intermediate language and then translating the LLVM
-  code to JavaScript.
-  </p>
-
-  <p>
-  <B>Skills:</B> 
-  This project is about exploring these two subsets of JavaScript and implement a translator
-  of a small language into them.  This is similar to the project [CU2] above and requires
-  similar skills. In addition it would be good to have already some familiarity with JavaScript.
-  There are plenty of <A HREF="http://www.w3schools.com/js/">tutorials</A> on the Web.
-  <A HREF="http://jsbooks.revolunet.com">Here</A> is a list of free books on JavaScript.
-  This is a project for a student who wants to get more familiar with JavaScript and Web-programming.
-  A project from which you can draw inspiration is this
-  <A HREF="http://jlongster.com/2012/01/04/outlet-my-lisp-to-javascript-experiment.html">List-to-JavaScript</A>
-  translator. <A HREF="https://bitbucket.org/ktg/parenjs/overview">Here</A> is another such project.
-  And <A HREF="https://github.com/viclib/liscript">another</A> in less than 100 lines of code.
-  <A HREF="http://en.wikipedia.org/wiki/CoffeeScript">Coffeescript</A> is a similar project
-  except that it is already quite <A HREF="http://coffeescript.org">mature</A>. And finally not to
-  forget <A HREF="http://www.typescriptlang.org">TypeScript</A> developed by Microsoft. The main
-  difference between these projects and this one is that they translate into relatively high-level
-  JavaScript code; none of them use the much lower levels <A HREF="http://asmjs.org">asm.js</A> and 
-  <A HREF="https://github.com/kripken/emscripten/wiki">emscripten</A>.
-</p>
-
-
-
-<li> <H4>[CU7] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
+<li> <H4>[CU6] An Infrastructure for Displaying and Animating Code in a Web-Browser</H4>
   
 <p>
   <B>Description:</B>
@@ -541,7 +498,7 @@
   </p>
 
 
-<li> <H4>[CU8] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
+<li> <H4>[CU7] Implementation of a Distributed Clock-Synchronisation Algorithm developed at NASA</H4>
   
   <p>
   <B>Description:</B>
@@ -573,7 +530,7 @@
   are some examples that explain how to implement exchanging messages between actors. 
   </p>
 
-<li> <H4>[CU9] Proving the Correctness of Programs</H4>
+<li> <H4>[CU8] Proving the Correctness of Programs</H4>
 
  <p>
  I am one of the main developers of the interactive theorem prover
@@ -623,7 +580,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Sun Nov  9 23:00:48 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Mon Nov 10 08:58:53 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>