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 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 |