aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-09-29 07:42:49 +0000
committerdos-reis <gdr@axiomatics.org>2009-09-29 07:42:49 +0000
commit9bef621350fff8de58a30cada7c1a64d76b778fb (patch)
treefd9c6c5608f1ac55891ebec171de798375143974 /src/ChangeLog
parent8c21fa51748d435b43b06fff98ff3b2e5af8c435 (diff)
downloadopen-axiom-9bef621350fff8de58a30cada7c1a64d76b778fb.tar.gz
* algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Really make an
OrderedMonoid.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index fc857474..4addb0d3 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,10 @@
2009-09-29 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * algebra/xpoly.spad.pamphlet (OrderedFreeMonoid): Really make an
+ OrderedMonoid.
+
+2009-09-29 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* interp/br-util.boot (htPred2English): Espace "has".
* interp/format.boot (pred2English): Likewise.
* interp/i-spec1.boot ($specialOps): Likewise.