diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-20 05:59:26 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-20 05:59:26 +0000 |
commit | b91f52ba52fc76bc9700f69a21f65042c805409b (patch) | |
tree | 902f81d6d2d2e16420187105f11748f564c7891b /src/ChangeLog | |
parent | ba161fefd4ab91c4908e7c7da8f6d84373f8e7ce (diff) | |
download | open-axiom-b91f52ba52fc76bc9700f69a21f65042c805409b.tar.gz |
* algebra/newdata.spad.pamphlet (SplittingNode): Define Rep as
constant. Remove definitions for `per' and `rep'.
* algebra/regset.spad.pamphlet (RegularTriangularSet): Likewise.
* algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet):
Likewise.
* algebra/triset.spad.pamphlet (GeneralTriangularSet): Likewise.
(WuWenTsunTriangularSet): Likewise.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 2d3cd507..75696a0a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,15 @@ 2008-12-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/newdata.spad.pamphlet (SplittingNode): Define Rep as + constant. Remove definitions for `per' and `rep'. + * algebra/regset.spad.pamphlet (RegularTriangularSet): Likewise. + * algebra/sregset.spad.pamphlet (SquareFreeRegularTriangularSet): + Likewise. + * algebra/triset.spad.pamphlet (GeneralTriangularSet): Likewise. + (WuWenTsunTriangularSet): Likewise. + +2008-12-19 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/define.boot (insertViewMorphisms): New. (checkRepresentation): Rename from maybeInsertViewMorphisms. Tidy. (compDefineFunctor1): Tidy. |