From 4e6f3697bd50df9225c8635a2a9c28290d06f27e Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Wed, 17 Jun 2009 09:29:55 +0000
Subject: 	* algebra/domain.spad.pamphlet: ConstructorCall is now 
 parameterized by the constructor category.

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

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 070775de..c6160271 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2009-06-17  Gabriel Dos Reis  <gdr@cs.tamu.edu>
+
+	* algebra/domain.spad.pamphlet: ConstructorCall is now
+	parameterized by the constructor category.
+
 2009-06-16  Gabriel Dos Reis  <gdr@cs.tamu.edu>
 
 	* interp/define.boot (doItConditionally): New.
-- 
cgit v1.2.3