From e3addef7d02f432fad8fc0886880f59c40000a5a Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 13 Aug 2011 17:58:48 +0000
Subject: 	* algebra/integer.spad.pamphlet (Integer): Remove attribute
 infinite.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 8a0aad99..a4006cc9 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,7 @@
+2011-08-13  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/integer.spad.pamphlet (Integer): Remove attribute infinite.
+
 2011-08-13  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/c-util.boot (instantiationArgs): New.
-- 
cgit v1.2.3