
diff -r e9fd5eff62c1 -r 12861a362099 ProgTutorial/Parsing.thy
--- a/ProgTutorial/Parsing.thy	Thu Oct 04 13:00:31 2012 +0100
+++ b/ProgTutorial/Parsing.thy	Sat Dec 01 14:51:19 2012 +0000
@@ -9,7 +9,7 @@
   \begin{flushright}
   {\em An important principle underlying the success and popularity of Unix\\ is
   the philosophy of building on the work of others.} \\[1ex]
-  Linus Torwalds in the email exchange\\ with Andrew S.~Tannenbaum
+  Tony Travis in an email about the\\ ``LINUX is obsolete'' debate 
   \end{flushright}
 
 




