diff --git a/changelog b/changelog
index b4309c4..557dd64 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,11 @@
+20090712 tpd src/axiom-website/patches.html 20090712.04.tpd.patch
+20090712 tpd src/interp/Makefile remove br-search
+20090712 tpd src/interp/br-con.boot merge br-search.boot
+20090712 tpd src/interp/br-search.boot removed, merge with br-con
+20090712 tpd src/axiom-website/patches.html 20090712.03.tpd.patch
+20090712 tpd src/interp/Makefile remove br-op2
+20090712 tpd src/interp/br-con.boot merge br-op2.boot
+20090712 tpd src/interp/br-op2.boot removed, merge with br-con
20090712 tpd src/axiom-website/patches.html 20090712.02.tpd.patch
20090712 tpd src/interp/Makefile remove br-op1
20090712 tpd src/interp/br-con.boot merge br-op1.boot
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index ea1c38d..967d21d 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1713,5 +1713,9 @@ merge br-con and br-data
merge br-con and showimp
20090712.02.tpd.patch
merge br-con and br-op1
+20090712.03.tpd.patch
+merge br-con and br-op2
+20090712.04.tpd.patch
+merge br-con and br-search