diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-14 09:10:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-14 09:10:24 +0000 |
| commit | 8d5fe26df40ed62aa60ec078858ed184bb0a82fb (patch) | |
| tree | c428a5b67d00f64ced5b3e0497279dfbca364aa2 /src/ChangeLog | |
| parent | 12a65643579cab809e4a7c95f6ebc9124da4bf3f (diff) | |
| download | open-axiom-8d5fe26df40ed62aa60ec078858ed184bb0a82fb.tar.gz | |
* interp/category.boot ($NewCatVec): Remove.
(SigListUnion): Take the principal ancestor
as third argument. Use it instead of $NewCatVec. Adjust caller.
(JoinInner): Do not bind $NewCatVec. Introduce local variable
principal. Tidy.
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 b02f7608..6de75bde 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,11 @@ +2011-11-14 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/category.boot ($NewCatVec): Remove. + (SigListUnion): Take the principal ancestor + as third argument. Use it instead of $NewCatVec. Adjust caller. + (JoinInner): Do not bind $NewCatVec. Introduce local variable + principal. Tidy. + 2011-11-13 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/category.boot (filterConditionalCategories): Split out of |