diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-29 16:22:49 +0000 |
| commit | 77d293322d11ad09575a85f421796da7db471797 (patch) | |
| tree | 1a8fc1949f2f9f1b443f3719efabf81147647eb9 /src/ChangeLog | |
| parent | ab71577ecf6a2523916d2e7fa1510d3153f758d6 (diff) | |
| download | open-axiom-77d293322d11ad09575a85f421796da7db471797.tar.gz | |
* algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here.
(OrderedType) [max,min]: Export and provide defaults.
(OrderedSet): Simplify.
(SetCategory) [before?]: Move to BasicType.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 35307d20..e57e60e0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,10 @@ +2010-06-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/catdef.spad.pamphlet (BasicType) [before?]: Declare here. + (OrderedType) [max,min]: Export and provide defaults. + (OrderedSet): Simplify. + (SetCategory) [before?]: Move to BasicType. + 2010-06-28 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/catdef.spad.pamphlet (OrderedType): New category. |