diff options
author | dos-reis <gdr@axiomatics.org> | 2009-05-30 04:15:10 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-05-30 04:15:10 +0000 |
commit | 748e67afa492ccf46498cfa33541327aa11ad584 (patch) | |
tree | a907a0b189a9e540eb708730389f6c9c4c1e7260 /src/ChangeLog | |
parent | 0c8ae00b89a09dcf8320117d3655e9e50c4796e3 (diff) | |
download | open-axiom-748e67afa492ccf46498cfa33541327aa11ad584.tar.gz |
* algebra/catdef.spad.pamphlet (SetCategory): Provide default
definition for before?.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 924e3847..529cd053 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,10 @@ 2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/catdef.spad.pamphlet (SetCategory): Provide default + definition for before?. + +2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/complet.spad.pamphlet (OnePointCompletion): Define before?. 2009-05-29 Gabriel Dos Reis <gdr@cs.tamu.edu> |