diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-16 23:40:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-16 23:40:32 +0000 |
| commit | a77534307be15ee6d85fbc31cc2717cae874d209 (patch) | |
| tree | 122c244845a8e08f26f9c7377932055116c5d3ee /src/driver/main.cc | |
| parent | 24a5eab19bc5eb0a76c548085fa0dc3b917ccb51 (diff) | |
| download | open-axiom-a77534307be15ee6d85fbc31cc2717cae874d209.tar.gz | |
* algebra/sortpak.spad.pamphlet (SortPackage): Have second
parameter satisfy FiniteAggregate A instead of requiring attribute
finiteAggregate.
* algebra/array2.spad.pamphlet (TwoDimensionalArrayCategory): Now
extends FiniteAggregate. Remove finiteAggregate attribute.
Diffstat (limited to 'src/driver/main.cc')
0 files changed, 0 insertions, 0 deletions