diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-06-17 07:20:46 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-06-17 07:20:46 +0000 |
| commit | d69a5741c16f450e981b7d8f4b28c217f388890d (patch) | |
| tree | 67bf6dccc4bdc6221e9160749232402b91d29d96 /src/ChangeLog | |
| parent | eff8995031482604470f31c7cc24e525c5edadb2 (diff) | |
| download | open-axiom-d69a5741c16f450e981b7d8f4b28c217f388890d.tar.gz | |
Weaken conditions on parameter of partial differential domains.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 61d37b2b..7c7e6786 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,11 +1,17 @@ 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. * algebra/script-parser.spad: Move content to parsers.spad.pamphlet. Remove. * algebra/spad-parser.spad: Likewise. - 2013-06-15 Gabriel Dos Reis <gdr@integrable-solutions.net> * interp/ht-util.boot (mkCurryFun): Import function name. |