diff --git a/changelog b/changelog
index ca59e80..4d722d9 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+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
+20090712 tpd src/interp/showimp.boot removed. merge with br-con
20090711 tpd src/axiom-website/patches.html 20090711.07.tpd.patch
20090711 tpd src/inter/Makefile remove br-data
20090711 tpd src/interp/br-con.boot merge br-data
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 6128eb5..5f4dec2 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1709,5 +1709,7 @@ merge ht-util and htsetvar
merge ht-util and ht-root
20090711.07.tpd.patch
merge br-con and br-data
+20090712.01.tpd.patch
+merge br-con and showimp