diff --git a/buglist b/buglist
index 6a2ccd5..f8e34a4 100644
--- a/buglist
+++ b/buglist
@@ -14,6 +14,14 @@ nonextend 60077:
=========================================================================
bug 7142: exp^log(x) Cannot take first of an empty list
+WS> ElementaryFunctionCategory(): Category == with
+WS> log : $ -> $ ++ log(x) returns the natural logarithm of x.
+WS> exp : $ -> $ ++ exp(x) returns %e to the power x.
+WS> "**": ($, $) -> $ ++ x**y returns x to the power y.
+WS> add
+WS> if $ has Monoid then
+WS> x ** y == exp(y * log x)
+
The error apparently comes from EXPR where the implementation is
x**y == exp(y * log(x))
diff --git a/changelog b/changelog
index c6d7e0e..b676600 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20140613 tpd src/axiom-website/patches.html 20140613.07.tpd.patch
+20140613 tpd buglist 7142 exp^log(x) Cannot take first of an empty list update
20140613 tpd src/axiom-website/patches.html 20140613.06.tpd.patch
20140613 tpd buglist 7142 exp^log(x) Cannot take first of an empty list update
20140613 tpd src/axiom-website/patches.html 20140613.05.tpd.patch
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index eb95722..e905cde 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4432,6 +4432,8 @@ buglist 7142 exp^log(x) Cannot take first of an empty list update
buglist 7142 exp^log(x) Cannot take first of an empty list update
20140613.06.tpd.patch
buglist 7142 exp^log(x) Cannot take first of an empty list update
+20140613.07.tpd.patch
+buglist 7142 exp^log(x) Cannot take first of an empty list update