# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1418390203 0
# Node ID 9e6aa41188847f9de2f641e419dc1d8997d9be0a
# Parent  23543b87a9bcbd522ccd0d2e1378ebe3aa0e8231
updated

diff -r 23543b87a9bc -r 9e6aa4118884 msc-projects-14.html
--- a/msc-projects-14.html	Fri Dec 12 13:13:59 2014 +0000
+++ b/msc-projects-14.html	Fri Dec 12 13:16:43 2014 +0000
@@ -578,13 +578,13 @@
 <ul>
 <li><A HREF="http://elm-lang.org">Elm</A> (a reactive functional language for animating webpages; have a look at the cool examples)
 <li><A HREF="http://www.smlserver.org/smltojs/">SMLtoJS</A> (a ML compiler to JavaScript; or anything else related to
-  a sane language that compiles to JavaScript)
+  sane languages that compile to JavaScript)
 <li>Any statistical data related to Bitcoins (in the spirit of this
 <A HREF="http://people.csail.mit.edu/spillai/data/papers/ bitcoin-transaction-graph-analysis.pdf">paper</A> or
   this <A HREF="https://eprint.iacr.org/2012/584.pdf">one</A>; this will probably require some extensive C knowledge or any
   other heavy-duty programming language)
-<li>anything realted to programming languages and formal methods, like
-  <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>  
+<li>Anything related to programming languages and formal methods (like
+  <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>)  
 </ul>
 </p>
 
@@ -605,7 +605,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Fri Dec 12 13:13:41 GMT 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Dec 12 13:16:29 GMT 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>