
diff -r e9fd5eff62c1 -r 12861a362099 ProgTutorial/Advanced.thy
--- a/ProgTutorial/Advanced.thy	Thu Oct 04 13:00:31 2012 +0100
+++ b/ProgTutorial/Advanced.thy	Sat Dec 01 14:51:19 2012 +0000
@@ -8,7 +8,12 @@
 text {*
    \begin{flushright}
   {\em All things are difficult before they are easy.} \\[1ex]
-  proverb
+  proverb\\[2ex]
+  {\em Programming is not just an act of telling a computer what 
+  to do: it is also an act of telling other programmers what you 
+  wished the computer to do. Both are important, and the latter 
+  deserves care.}\\[1ex]
+  ---Andrew Morton, Linux Kernel mailinglist, 13 March 2012
   \end{flushright}
 
   \medskip




