diff --git a/changelog b/changelog
index dd63af9..b38c4c0 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140703 tpd src/axiom-website/patches.html 20140703.03.tpd.patch
+20140703 tpd src/axiom-website/documentation.html add Lamport quote
20140703 tpd src/axiom-website/patches.html 20140703.02.tpd.patch
20140703 tpd books/bookvolbib add Numerical Algorithms section, add Yang14
20140703 tpd src/axiom-website/patches.html 20140703.01.tpd.patch
diff --git a/patch b/patch
index 8f2aba1..3d341cd 100644
--- a/patch
+++ b/patch
@@ -1,7 +1,5 @@
-books/bookvolbib add Numerical Algorithms section, add Yang14
+src/axiom-website/documentation.html add Lamport quote
-\bibitem[Yang 14]{Yang14} Yang, Xiang; Mittal, Rajat\\
-``Acceleration of the Jacobi iterative method by factors exceeding 100
-using scheduled relation''\\
-\verb|engineering.jhu.edu/fsag/wp-content/uploads/sites/23/2013/10|
-\verb|JCP_revised_WebPost.pdf|
+Mathematics is nature's way of letting you know how sloppy your
+writing is. Formal mathematics is nature's way of letting you know
+how sloppy your mathematics is.
diff --git a/src/axiom-website/documentation.html b/src/axiom-website/documentation.html
index dcee224..803ee81 100644
--- a/src/axiom-website/documentation.html
+++ b/src/axiom-website/documentation.html
@@ -126,6 +126,17 @@
+ +--Leslie Lamport Specifying Systems + ++Mathematics is nature's way of letting you know how sloppy your writing is. +Formal mathematics is nature's way of letting you know how sloppy your +mathematics is. +
+
+Thus, it is useful to think not so much about the intrinsic interest of a mathematical result as about how effectively that result can be communicated to other mathematicians, both present and future. diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index d2852a2..f72b7c0 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4522,6 +4522,8 @@ books/bookvolbib.pamphlet add special sections, abstracts src/axiom-website/documentation.html add W.T. Gowers quote 20140703.02.tpd.patch books/bookvolbib add Numerical Algorithms section, add Yang14 +20140703.03.tpd.patch +src/axiom-website/documentation.html add Lamport quote