diff --git a/buglist b/buglist
index 3488bdc..68a045d 100644
--- a/buglist
+++ b/buglist
@@ -1,6 +1,6 @@
=========================================================================
-bug 7263:
+bug 7264:
todo 336:
wish 1012:
meh 5:
@@ -12,6 +12,14 @@ dup 50006:
nonextend 60077:
=========================================================================
+bug 7263: missing function from POLY(ANTISYM)
+
+3*x*dx
+ Internal Error
+ The function * with signature hashcode is missing from domain
+ Polynomial(AntiSymm (Integer) (x y z))
+
+=========================================================================
bug 7262: bad expression parse (reported by Ralf Hemmecke)
^/2
diff --git a/changelog b/changelog
index 9b0a3d5..eed60ac 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20141123 tpd src/axiom-website/patches.html 20141123.01.tpd.patch
+20141123 tpd buglist add bug 7263: missing function from POLY(ANTISYM)
20141122 rhx src/axiom-website/patches.html 20141122.02.rhx.patch
20141122 rhx buglist add bug 7262: bad expression parse ^/2
20141122 txp src/axiom-website/patches.html 20141122.01.txp.patch
diff --git a/patch b/patch
index 768ba3f..cf5f863 100644
--- a/patch
+++ b/patch
@@ -1,2 +1,8 @@
-buglist add bug 7262: bad expression parse ^/2
+buglist add bug 7263: missing function from POLY(ANTISYM)
+
+3*x*dx
+ Internal Error
+ The function * with signature hashcode is missing from domain
+ Polynomial(AntiSymm (Integer) (x y z))
+
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index efa51eb..b7fd472 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4718,6 +4718,8 @@ books/bookvol10.3 more help information for DeRhamComplex
buglist add bug 7261: wrong integral
20141122.02.rhx.patch
buglist add bug 7262: bad expression parse ^/2
+20141123.01.tpd.patch
+buglist add bug 7263: missing function from POLY(ANTISYM)