--- a/ProgTutorial/Intro.thy	Thu Nov 17 12:20:19 2011 +0000
+++ b/ProgTutorial/Intro.thy	Thu Nov 17 16:33:49 2011 +0000
@@ -223,7 +223,7 @@
   this. Still to keep them to a minimum, you can submit your changes first to a rather 
   sophisticated \emph{testboard}, which will perform checks of your changes against the
   Isabelle repository and against the AFP. The advantage of the testboard is
-  that the testing is performed by rather powerful machines, saving you lengthy
+  that the testing is performed by rather powerful machines saving you lengthy
   tests on, for example, your own laptop. You can see the results of the testboard 
   at 
 
@@ -241,7 +241,7 @@
 
   where the dots need to be replaced by your login name.  Note that for
   pushing changes to the testboard you need to add the option @{text "-f"},
-  which however should \emph{never} be used with the main Isabelle
+  which should \emph{never} be used with the main Isabelle
   repository. While the testboard is a great system for supporting Isabelle
   developers, its disadvantage is that it needs login permissions for the
   computers in Munich. So in order to use it, you might have to ask other