aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
Diffstat (limited to 'src/ChangeLog')
-rw-r--r--src/ChangeLog8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index be8ec59f..fc313876 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,13 @@
2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
+ * algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory):
+ Now extends ConvertibleFrom IndexedProductTerm(A,S).
+ (IndexedDirectProductObject): Simplify.
+ (IndexedDirectProductAbelianMonoid): Tidy.
+ (IndexedDirectProductOrderedAbelianMonoid): Likewise.
+
+2013-05-07 Gabriel Dos Reis <gdr@integrable-solutions.net>
+
* algebra/indexedp.spad.pamphlet (IndexedProductTerm): New domain.
2013-04-07 Gabriel Dos Reis <gdr@integrable-solutions.net>