diff options
author | dos-reis <gdr@axiomatics.org> | 2008-03-30 17:06:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-03-30 17:06:50 +0000 |
commit | d4253914cd374bbb099b6055e8db595073c1b349 (patch) | |
tree | de05e00e8d2c6ed0f7fd707ec5cb0daa3dbc2c1f /src/ChangeLog | |
parent | af51c280292fc412e56c22ec2b416184beecee3d (diff) | |
download | open-axiom-d4253914cd374bbb099b6055e8db595073c1b349.tar.gz |
* interp/buildom.boot: Cache constructor instantiations.
* interp/clam.boot (haddProp): Update comment.
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 9dccb36a..b032d3f6 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,8 @@ +2008-03-30 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/buildom.boot: Cache constructor instantiations. + * interp/clam.boot (haddProp): Update comment. + 2008-03-29 Gabriel Dos Reis <gdr@cs.tamu.edu> Fix SF/1849435. |