From d69a5741c16f450e981b7d8f4b28c217f388890d Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Mon, 17 Jun 2013 07:20:46 +0000
Subject: Weaken conditions on parameter of partial differential domains.

---
 src/ChangeLog | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'src/ChangeLog')

diff --git a/src/ChangeLog b/src/ChangeLog
index 61d37b2b..7c7e6786 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,10 @@
+2013-06-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>
+
+	* algebra/catdef.spad.pamphlet (PartialDifferentialSpace): Weaken
+	requirement on parameter.
+	(PartialDifferentialRing): Likewise.
+	(PartialDifferentialModule): Likewise.
+
 2013-06-17  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
 	* algebra/parsers.spad.pamphlet: New.
@@ -5,7 +12,6 @@
 	Remove.
 	* algebra/spad-parser.spad: Likewise.
 
-
 2013-06-15  Gabriel Dos Reis  <gdr@integrable-solutions.net>
 
 	* interp/ht-util.boot (mkCurryFun): Import function name.
-- 
cgit v1.2.3