--- a/src/Doc/IsarImplementation/document/root.tex Tue Apr 09 15:37:23 2013 +0200
+++ b/src/Doc/IsarImplementation/document/root.tex Tue Apr 09 15:40:34 2013 +0200
@@ -70,6 +70,18 @@
Rob Pike and Brian W. Kernighan
+ \vspace*{1cm}
+
+ {\small\em If you look at software today, through the lens of the
+ history of engineering, it's certainly engineering of a sort--but
+ it's the kind of engineering that people without the concept of
+ the arch did. Most software today is very much like an Egyptian
+ pyramid with millions of bricks piled on top of each other, with
+ no structural integrity, but just done by brute force and
+ thousands of slaves.}
+
+ Alan Kay
+
\end{quote}
\thispagestyle{empty}\clearpage