From c2b415b05a0e66689d75f9ed37239dff4c0685cd Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 7 Feb 2011 06:06:32 +0000
Subject: 	* algebra/ituple.spad.pamphlet (InfiniteTuple): Use Stream S
 as 	representation, not extended domain (default search does not 	work
 for the non-extending categories.)

---
 src/ChangeLog | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 498cba1b..15c684be 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2011-02-07  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/ituple.spad.pamphlet (InfiniteTuple): Use Stream S as
+	representation, not extended domain (default search does not
+	work for the non-extending categories.)
+
 2011-02-06  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/g-opt.boot (groupVariableDefinitions): Look into clauses
-- 
cgit v1.2.3