diff --git a/changelog b/changelog index 032ec36..5cbb5b5 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20140614 tpd src/axiom-website/patches.html 20140614.06.tpd.patch +20140614 tpd books/bookvol4 rescale Baker's architecture image 20140614 tpd src/axiom-website/patches.html 20140614.05.tpd.patch 20140614 tpd Fixup broken build issues 20140614 tpd src/axiom-website/patches.html 20140614.04.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 51cd602..4f3e2d3 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -4456,6 +4456,8 @@ buglist bug 7254: f==n+->sum(sum(1/i,i=1..j),j=1..n) complains books/bookvol13 Proving Axiom Correct 20140614.05.tpd.patch Fixup broken build issues +20140614.06.tpd.patch +books/bookvol4 rescale Baker's architecture image