aboutsummaryrefslogtreecommitdiff
path: root/src/ChangeLog
diff options
context:
space:
mode:
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 e8bb54fb..35307d20 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,5 +1,10 @@
2010-06-28 Gabriel Dos Reis <gdr@cs.tamu.edu>
+ * algebra/catdef.spad.pamphlet (OrderedType): New category.
+ Extend BasicType.
+
+2010-06-28 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
* algebra/indexedp.spad.pamphlet (IndexedDirectProductCategory)
[terms]: Rename from support.