# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1403335521 -3600
# Node ID 91b236ff06dd7eefd9568f288795b3e41b0946b7
# Parent  f73f74ddb8eb866a96d85223098911d156dc43c8
typos

diff -r f73f74ddb8eb -r 91b236ff06dd msc-projects-13.html
--- a/msc-projects-13.html	Sat Jun 21 02:20:29 2014 +0100
+++ b/msc-projects-13.html	Sat Jun 21 08:25:21 2014 +0100
@@ -176,7 +176,7 @@
   </p>
 
   <p>
-  An alternative is to not generate machine code, but build a compiler that compiles
+  An alternative is to not generate machine code, but build a compiler that compiles to
   <A HREF="http://www.w3schools.com/js/">JavaScript</A>. This is the 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.
@@ -371,7 +371,7 @@
   to be aware of the issues involved. This course uses <A HREF="http://www.python.org">Python</A>.
   To evaluate the answers from the students, Google's 
   <A HREF="https://developers.google.com/chart/image/docs/making_charts">Chart Tools</A>
-  might be useful, which are also described in this 
+  might be useful, which is also described in this 
   <A HREF="http://www.youtube.com/watch?v=NZtgT4jgnE8">youtube</A> video.
   </p>
 
@@ -452,7 +452,7 @@
   are small Linux computers the size of a credit-card and only cost &pound;34 (see picture 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 58k of followers. It is hard to keep up with what people do with these small computers. The possibilities
+  than 150k 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
@@ -568,7 +568,7 @@
 </TABLE>
 
 <P>
-<!-- hhmts start --> Last modified: Wed Jun  4 11:33:39 BST 2014 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Sat Jun 21 08:22:20 BST 2014 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>