diff --git a/changelog b/changelog
index d5250df..84acadc 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20090907 tpd src/axiom-website/patches.html 20090907.01.tpd.patch
+20090907 tpd src/input/chtheorem.input add more checking
20090906 tpd src/axiom-website/patches.html 20090906.02.tpd.patch
20090906 tpd src/interp/nag-d03.lisp added, rewritten from nag-d03.boot
20090906 tpd src/interp/nag-d03.boot removed, rewritten to nag-d03.lisp
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 10c334d..b03d4f8 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -1998,5 +1998,7 @@ src/interp/ht-util.lisp rewrite from boot to lisp
src/interp/mark.lisp, nruncomp.lisp rewrite from boot to lisp
20090906.02.tpd.patch
src/interp/nag-d03.lisp rewrite from boot to lisp
+20090907.01.tpd.patch
+src/interp/chtheorm.inputadd more checking