diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-09 18:40:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-09 18:40:38 +0000 |
| commit | 9d577a9fe12067a41ed4e60adb7edfba30996788 (patch) | |
| tree | f8d95a5e091e45502a2bfeb22847d244cbc84fed /src/ChangeLog | |
| parent | 1e509eda4fa81af3f5954f50345dd3bc88c9252c (diff) | |
| download | open-axiom-9d577a9fe12067a41ed4e60adb7edfba30996788.tar.gz | |
* algebra/domain.spad.pamphlet (ConstructorKinid): New domain.
(Constructor): Likewise.
* algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include
CTORKIND.
(axiom_algebra_layer_user): Include CTOR.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 82504bb8..4d6e26a8 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,11 @@ +2008-10-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * algebra/domain.spad.pamphlet (ConstructorKinid): New domain. + (Constructor): Likewise. + * algebra/Makefile.pamphlet (axiom_algebra_layer_0): Include + CTORKIND. + (axiom_algebra_layer_user): Include CTOR. + 2008-10-08 Gabriel Dos Reis <gdr@cs.tamu.edu> SF/1872404 fixed. |