diff --git a/changelog b/changelog
index 8f80f2e..afe780a 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140605 tpd src/axiom-website/patches.html 20140605.04.tpd.patch
+20140605 tpd src/axiom-website/documentation.html add Leslie Lamport quote
20140605 tpd src/axiom-website/patches.html 20140605.03.tpd.patch
20140605 tpd book/*.txt email cleanup
20140605 tpd src/axiom-website/patches.html 20140605.02.tpd.patch
diff --git a/src/axiom-website/documentation.html b/src/axiom-website/documentation.html
index 27173da..2cf81a2 100644
--- a/src/axiom-website/documentation.html
+++ b/src/axiom-website/documentation.html
@@ -176,6 +176,17 @@ much sign of it. This is not good.
+ +--Leslie Lamport "Thinking for Programmers" 2014 + ++Writing is nature's way of letting you know how sloppy your +thinking is. To think you have to write. If you're thinking +without writing, you only think you're thinking. +
+
+The nature of functional programming is to build, Russian doll-style, functions that use functions that use functions etc. But without something like a literate style, your efforts are quickly lost in the diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 2036134..af93b76 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4384,6 +4384,8 @@ book/*.txt email cleanup books/bookvolbib add Special Topics / Polynomial GCD 20140605.03.tpd.patch book/*.txt email cleanup +20140605.04.tpd.patch +src/axiom-website/documentation.html add Leslie Lamport quote