diff --git a/changelog b/changelog
index 4d722d9..b4309c4 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+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
+20090712 tpd src/interp/br-op1.boot removed, merge with br-con
20090712 tpd src/axiom-website/patches.html 20090712.01.tpd.patch
20090712 tpd src/interp/Makefile remove showimp.boot
20090712 tpd src/interp/br-con.boot merge showimp
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 5f4dec2..ea1c38d 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1711,5 +1711,7 @@ merge ht-util and ht-root
merge br-con and br-data
20090712.01.tpd.patch
merge br-con and showimp
+20090712.02.tpd.patch
+merge br-con and br-op1