diff options
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. |