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